Koschei - emacs-common-proofgeneral - build 129667408

Build details

Build information

State

complete

complete

Name

emacs-common-proofgeneral

Epoch

None

Version

4.5

Release

10.20240912git1ffca70.fc42

Started

2025-02-28 00:24:14

Finished

2025-02-28 00:36:38

Koji repo

6554960

Koji tasks

Build logs

ppc64le

build.log | root.log

Dependency changes from previous build

emacs-nw

1:29.4-49.fc42

1:30.1-5.fc43

1

libgcc

15.0.1-0.7.fc43

15.0.1-0.8.fc43

2

libtree-sitter

0.24.7-2.fc42

0.25.2-3.fc43

2

glibc

2.40.9000-37.fc43

2.41.9000-1.fc43

2

emacs-common

1:29.4-49.fc42

1:30.1-5.fc43

2

libgccjit

15.0.1-0.7.fc43

15.0.1-0.8.fc43

2

libarchive

3.7.7-2.fc42

3.7.7-3.fc43

2

libuuid

2.40.4-6.fc43

2.40.4-7.fc43

2

rpm-libs

4.20.0-8.fc42

4.20.1-1.fc43

2

zlib-ng-compat

2.2.4-1.fc43

2.2.4-2.fc43

2

gmp

1:6.3.0-2.fc41

1:6.3.0-3.fc43

2

coreutils

9.6-1.fc42

9.6-2.fc43

3

glibc-gconv-extra

2.40.9000-37.fc43

2.41.9000-1.fc43

3

rpm

4.20.0-8.fc42

4.20.1-1.fc43

3

emacsclient

1:29.4-49.fc42

1:30.1-5.fc43

3

libpng

2:1.6.46-1.fc43

2:1.6.47-1.fc43

3

libmount

2.40.4-6.fc43

2.40.4-7.fc43

3

glibc-minimal-langpack

2.40.9000-37.fc43

2.41.9000-1.fc43

3

openssl-libs

1:3.2.4-1.fc43

1:3.2.4-2.fc43

3

libzstd

1.5.6-3.fc42

1.5.7-1.fc43

3

glibc-common

2.40.9000-37.fc43

2.41.9000-1.fc43

3

gcc

15.0.1-0.7.fc43

15.0.1-0.8.fc43

3

libgomp

15.0.1-0.7.fc43

15.0.1-0.8.fc43

4

libblkid

2.40.4-6.fc43

2.40.4-7.fc43

4

cpp

15.0.1-0.7.fc43

15.0.1-0.8.fc43

4

libstdc++

15.0.1-0.7.fc43

15.0.1-0.8.fc43

4

harfbuzz

10.2.0-2.fc42

10.3.0-1.fc43

4

coreutils-common

9.6-1.fc42

9.6-2.fc43

4

glibc-devel

2.40.9000-37.fc43

2.41.9000-1.fc43

4

fedora-release-common

43-0.2

43-0.5

B

perl-Specio

0.49-2.fc42

0.50-1.fc43

B

qt6-srpm-macros

6.8.2-1.fc42

6.8.2-2.fc43

B

kernel-headers

6.14.0-0.rc3.29.fc43

6.14.0-0.rc4.36.fc43

B

debugedit

5.1-4.fc42

5.1-5.fc43

B

perl-Module-CoreList

1:5.20250120-1.fc42

1:5.20250220-1.fc43

B

perl-libwww-perl

6.77-3.fc42

6.78-1.fc43

B

zstd

1.5.6-3.fc42

1.5.7-1.fc43

B

rpm-build-libs

4.20.0-8.fc42

4.20.1-1.fc43

B

fedora-release-identity-basic

43-0.2

43-0.5

B

util-linux

2.40.4-6.fc43

2.40.4-7.fc43

B

perl-DateTime

2:1.65-7.fc42

2:1.66-1.fc43

B

rpm-build

4.20.0-8.fc42

4.20.1-1.fc43

B

util-linux-core

2.40.4-6.fc43

2.40.4-7.fc43

B

gcc-plugin-annobin

15.0.1-0.7.fc43

15.0.1-0.8.fc43

B

libfdisk

2.40.4-6.fc43

2.40.4-7.fc43

B

fedora-release

43-0.2

43-0.5

B

libsmartcols

2.40.4-6.fc43

2.40.4-7.fc43

B

perl-Business-ISBN-Data

20250205.001-1.fc43

20250226.001-1.fc43

B

show 38 more collapse