Koschei - coq - build 124598888

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-10-09 01:19:12

Finished

2024-10-09 01:44:25

Koji repo

6519750

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

ocaml-dune

3.16.0-3.fc41

3.16.0-4.fc42

1

ocaml-ounit-devel

2.2.7-11.fc41

2.2.7-12.fc42

1

python3-devel

3.13.0~rc3-1.fc42

3.13.0-1.fc42

1

git-core

2.46.2-1.fc42

2.47.0-1.fc42

1

python3

3.13.0~rc3-1.fc42

3.13.0-1.fc42

2

rpm-libs

4.19.94-1.fc42

4.20.0-1.fc42

2

ocaml-ounit

2.2.7-11.fc41

2.2.7-12.fc42

2

javapackages-tools

6.3.1-1.fc42

6.3.3-1.fc42

2

glibc

2.40.9000-1.fc42

2.40.9000-6.fc42

2

python3-libs

3.13.0~rc3-1.fc42

3.13.0-1.fc42

2

javapackages-filesystem

6.3.1-1.fc42

6.3.3-1.fc42

2

glibc-devel

2.40.9000-1.fc42

2.40.9000-6.fc42

3

dwz

0.15-7.fc41

0.15-8.fc42

3

glibc-minimal-langpack

2.40.9000-1.fc42

2.40.9000-6.fc42

3

glibc-gconv-extra

2.40.9000-1.fc42

2.40.9000-6.fc42

3

rpm

4.19.94-1.fc42

4.20.0-1.fc42

3

glibc-common

2.40.9000-1.fc42

2.40.9000-6.fc42

3

rpm-build

4.19.94-1.fc42

4.20.0-1.fc42

3

p11-kit-trust

0.25.5-3.fc41

0.25.5-4.fc42

4

debugedit

5.0-17.fc41

5.0-18.fc42

4

p11-kit

0.25.5-3.fc41

0.25.5-4.fc42

4

glibc-headers-x86

2.40.9000-1.fc42

2.40.9000-6.fc42

4

shadow-utils

2:4.16.0-4.fc42

2:4.16.0-5.fc42

4

rpm-build-libs

4.19.94-1.fc42

4.20.0-1.fc42

4

show 14 more collapse