Koschei - emacs-common-proofgeneral - build 128204067

Build details

Build information

State

complete

complete

Name

emacs-common-proofgeneral

Epoch

None

Version

4.5

Release

9.20240912git1ffca70.fc42

Started

2025-01-20 09:42:26

Finished

2025-01-20 09:52:03

Koji repo

6544310

Koji tasks

Build logs

ppc64le

build.log | root.log

Dependency changes from previous build

rpm-libs

4.20.0-5.fc42

4.20.0-6.fc42

2

libuuid

2.40.2-9.fc42

2.40.4-1.fc42

2

systemd-libs

257.2-7.fc42

257.2-14.fc42

2

libgcc

14.2.1-6.fc42

15.0.1-0.3.fc42

2

libgccjit

14.2.1-6.fc42

15.0.1-0.3.fc42

2

sqlite-libs

3.47.2-1.fc42

3.47.2-2.fc42

2

gpm-libs

1.20.7-48.fc41

1.20.7-51.fc42

2

openldap

2.6.9-1.fc42

2.6.9-2.fc42

3

filesystem

3.18-30.fc42

3.18-34.fc42

3

gcc

14.2.1-6.fc42

15.0.1-0.3.fc42

3

libmount

2.40.2-9.fc42

2.40.4-1.fc42

3

rpm

4.20.0-5.fc42

4.20.0-6.fc42

3

binutils

2.43.50-9.fc42

2.43.50-11.fc42

4

cpp

14.2.1-6.fc42

15.0.1-0.3.fc42

4

libstdc++

14.2.1-6.fc42

15.0.1-0.3.fc42

4

libxcrypt

4.4.38-1.fc42

4.4.38-3.fc42

4

libblkid

2.40.2-9.fc42

2.40.4-1.fc42

4

publicsuffix-list-dafsa

20240107-4.fc41

20250116-1.fc42

4

libgomp

14.2.1-6.fc42

15.0.1-0.3.fc42

4

libtool-ltdl

2.5.4-2.fc42

2.5.4-3.fc42

4

filesystem-srpm-macros

3.18-30.fc42

3.18-34.fc42

B

fedora-repos-rawhide

42-0.3

42-0.4

B

util-linux-core

2.40.2-9.fc42

2.40.4-1.fc42

B

debugedit

5.1-2.fc42

5.1-4.fc42

B

rpm-build

4.20.0-5.fc42

4.20.0-6.fc42

B

annobin-plugin-gcc

12.80-1.fc42

12.81-1.fc42

B

perl-Business-ISBN-Data

20250109.001-1.fc42

20250118.001-1.fc42

B

libsmartcols

2.40.2-9.fc42

2.40.4-1.fc42

B

fedora-repos

42-0.3

42-0.4

B

util-linux

2.40.2-9.fc42

2.40.4-1.fc42

B

annobin-docs

12.80-1.fc42

12.81-1.fc42

B

fedora-gpg-keys

42-0.3

42-0.4

B

libfdisk

2.40.2-9.fc42

2.40.4-1.fc42

B

fonts-filesystem

1:2.0.5-17.fc41

1:2.0.5-19.fc42

B

gcc-plugin-annobin

14.2.1-6.fc42

15.0.1-0.3.fc42

B

libxcrypt-devel

4.4.38-1.fc42

4.4.38-3.fc42

B

fonts-srpm-macros

1:2.0.5-17.fc41

1:2.0.5-19.fc42

B

rpm-build-libs

4.20.0-5.fc42

4.20.0-6.fc42

B

libicu

76.1-2.fc42

76.1-3.fc42

B

show 29 more collapse