Koschei - coq - build 129466371

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2025-02-21 15:35:40

Finished

2025-02-21 15:54:32

Koji repo

6552381

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

python3-devel

3.12.8-2.fc40

3.12.9-1.fc40

1

glibc

2.39-33.fc40

2.39-37.fc40

2

python3

3.12.8-2.fc40

3.12.9-1.fc40

2

pyproject-rpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

2

expat

2.6.3-1.fc40

2.6.4-1.fc40

2

java-21-openjdk-headless

1:21.0.5.0.11-1.fc40

1:21.0.6.0.7-1.fc40

2

python3-libs

3.12.8-2.fc40

3.12.9-1.fc40

2

sqlite-libs

3.45.1-2.fc40

3.45.1-3.fc40

3

glibc-devel

2.39-33.fc40

2.39-37.fc40

3

qt6-srpm-macros

6.8.1-4.fc40

6.8.2-1.fc40

3

rpm-sequoia

1.7.0-3.fc40

1.7.0-5.fc40

3

krb5-libs

1.21.3-2.fc40

1.21.3-3.fc40

3

tzdata-java

2024b-1.fc40

2025a-1.fc40

3

flexiblas-netlib

3.4.4-5.fc40

3.4.5-1.fc40

3

pyproject-srpm-macros

1.16.4-1.fc40

1.17.0-1.fc40

3

glibc-minimal-langpack

2.39-33.fc40

2.39-37.fc40

3

glibc-gconv-extra

2.39-33.fc40

2.39-37.fc40

3

tzdata

2024b-1.fc40

2025a-1.fc40

3

openldap

2.6.8-1.fc40

2.6.8-2.fc40

3

glibc-common

2.39-33.fc40

2.39-37.fc40

3

flexiblas-openblas-openmp

3.4.4-5.fc40

3.4.5-1.fc40

4

flexiblas

3.4.4-5.fc40

3.4.5-1.fc40

4

cmake-filesystem

3.30.5-1.fc40

3.30.7-1.fc40

4

hwdata

0.391-1.fc40

0.392-1.fc40

B

show 14 more collapse