Koschei - coq - build 119636495

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

7.fc41

Started

2024-06-26 13:27:33

Finished

2024-06-26 13:53:46

Koji repo

6209307

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

python3-devel

3.13.0~b2-3.fc41

3.13.0~b2-4.fc41

1

python3-antlr4-runtime

4.10.1-15.fc41

4.10.1-16.fc41

1

antlr4

4.10.1-15.fc41

4.10.1-16.fc41

1

python3-libs

3.13.0~b2-3.fc41

3.13.0~b2-4.fc41

2

rpm-libs

4.19.91-13.fc41

4.19.92-1.fc41

2

antlr4-runtime

4.10.1-15.fc41

4.10.1-16.fc41

2

pyproject-rpm-macros

1.12.1-1.fc41

1.12.2-1.fc41

2

python-rpm-macros

3.13-1.fc41

3.13-2.fc41

2

python3-rpm-macros

3.13-1.fc41

3.13-2.fc41

2

python3

3.13.0~b2-3.fc41

3.13.0~b2-4.fc41

2

rpm-build

4.19.91-13.fc41

4.19.92-1.fc41

3

ca-certificates

2023.2.62_v7.0.401-6.fc40

2024.2.68_v8.0.302-2.fc41

3

libnghttp2

1.62.0-1.fc41

1.62.1-1.fc41

3

pyproject-srpm-macros

1.12.1-1.fc41

1.12.2-1.fc41

3

python-srpm-macros

3.13-1.fc41

3.13-2.fc41

3

rpm

4.19.91-13.fc41

4.19.92-1.fc41

3

kernel-headers

6.10.0-0.rc4.38.fc41

6.10.0-0.rc5.43.fc41

4

rpm-build-libs

4.19.91-13.fc41

4.19.92-1.fc41

4

libicu

74.2-1.fc40

74.2-1.fc41

B

libicu-devel

74.2-1.fc40

74.2-1.fc41

B

show 10 more collapse