Koschei - coq - build 128477220

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2025-01-26 00:44:06

Finished

2025-01-26 01:03:44

Koji repo

6545788

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

antlr4

4.10.1-15.fc40

4.10.1-16.fc40

1

python3-antlr4-runtime

4.10.1-15.fc40

4.10.1-16.fc40

1

rsync

3.3.0-1.fc40

3.4.1-1.fc40

1

git-core

2.47.1-1.fc40

2.48.1-1.fc40

1

pyproject-rpm-macros

1.16.3-1.fc40

1.16.4-1.fc40

2

xxhash-libs

0.8.2-4.fc40

0.8.3-1.fc40

2

antlr4-runtime

4.10.1-15.fc40

4.10.1-16.fc40

2

tzdata-java

2024a-5.fc40

2024b-1.fc40

3

libtirpc

1.3.6-1.fc40

1.3.6-1.rc3.fc40

3

pyproject-srpm-macros

1.16.3-1.fc40

1.16.4-1.fc40

3

cups-libs

1:2.4.11-8.fc40

1:2.4.11-9.fc40

3

libxcrypt

4.4.36-12.fc40

4.4.38-3.fc40

3

forge-srpm-macros

0.3.2-1.fc40

0.4.0-1.fc40

3

qt6-srpm-macros

6.7.2-2.fc40

6.8.1-4.fc40

3

libedit

3.1-53.20240808cv...

3.1-54.20250104cv...

3

tzdata

2024a-5.fc40

2024b-1.fc40

3

flexiblas-netlib

3.4.4-1.fc40

3.4.4-5.fc40

3

publicsuffix-list-dafsa

20240107-3.fc40

20250116-1.fc40

4

cups-filesystem

1:2.4.11-8.fc40

1:2.4.11-9.fc40

4

flexiblas-openblas-openmp

3.4.4-1.fc40

3.4.4-5.fc40

4

libxcrypt-devel

4.4.36-12.fc40

4.4.38-3.fc40

4

audit-libs

4.0.2-1.fc40

4.0.3-1.fc40

4

gdb-minimal

15.2-3.fc40

15.2-4.fc40

4

systemd-libs

255.15-1.fc40

255.16-1.fc40

4

flexiblas

3.4.4-1.fc40

3.4.4-5.fc40

4

libusb1

1.0.27-4.fc40

1.0.27-6.fc40

B

hwdata

0.390-1.fc40

0.391-1.fc40

B

show 17 more collapse