Koschei - coq - build 121285622

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-07-31 10:02:34

Finished

2024-07-31 10:26:06

Koji repo

6292142

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

git-core

2.45.2-1.fc41

2.45.2-3.fc41

1

python3-devel

3.13.0~b4-2.fc41

3.13.0~b4-3.fc41

1

glib2

2.80.3-5.fc41

2.81.0-1.fc41

2

python3-libs

3.13.0~b4-2.fc41

3.13.0~b4-3.fc41

2

python3

3.13.0~b4-2.fc41

3.13.0~b4-3.fc41

2

build-reproducibility-srpm-macros

0.3.5-1.fc41

0.3.6-1.fc41

3

glib2-devel

2.80.3-5.fc41

2.81.0-1.fc41

3

annobin-plugin-gcc

12.64-1.fc41

12.65-1.fc41

3

alternatives

1.28-3.fc41

1.29-1.fc41

4

pam

1.6.1-4.fc41

1.6.1-5.fc41

4

annobin-docs

12.64-1.fc41

12.65-1.fc41

4

pam-libs

1.6.1-4.fc41

1.6.1-5.fc41

4

kernel-headers

6.10.0-64.fc41.1

6.11.0-0.rc1.dc1c803...

4

add-determinism

0.3.5-1.fc41

0.3.6-1.fc41

4

diffutils

3.10-7.fc41

3.10-8.fc41

4

colord-libs

1.4.7-3.fc40

1.4.7-5.fc41

4

libtiff-devel

4.6.0-4.fc41

4.6.0-5.fc41

B

fedora-release-identity-basic

41-0.16

41-0.17

B

libtiff

4.6.0-4.fc41

4.6.0-5.fc41

B

fedora-release-common

41-0.16

41-0.17

B

fedora-release

41-0.16

41-0.17

B

show 11 more collapse