Koschei - coq - build 124861315

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-10-15 20:32:38

Finished

2024-10-15 21:05:32

Koji repo

6525172

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-4.fc42

3.16.0-5.fc42

1

javapackages-filesystem

6.3.3-1.fc42

6.3.4-1.fc42

2

glibc

2.40.9000-6.fc42

2.40.9000-7.fc42

2

javapackages-tools

6.3.3-1.fc42

6.3.4-1.fc42

2

openssh-clients

9.8p1-4.fc42

9.9p1-3.fc42

2

freetype-devel

2.13.2-6.fc41

2.13.3-1.fc42

3

glibc-devel

2.40.9000-6.fc42

2.40.9000-7.fc42

3

freetype

2.13.2-6.fc41

2.13.3-1.fc42

3

build-reproducibility-srpm-macros

0.3.6-1.fc41

0.4.1-1.fc42

3

glibc-gconv-extra

2.40.9000-6.fc42

2.40.9000-7.fc42

3

xz-libs

1:5.6.3-1.fc42

1:5.6.3-2.fc42

3

glibc-minimal-langpack

2.40.9000-6.fc42

2.40.9000-7.fc42

3

crypto-policies

20240927-1.git93b7251....

20241010-1.git8baf557....

3

glibc-common

2.40.9000-6.fc42

2.40.9000-7.fc42

3

openssh

9.8p1-4.fc42

9.9p1-3.fc42

3

systemd-libs

256.5-1.fc42

256.7-1.fc42

4

gdb-minimal

15.1-2.fc42

15.2-1.fc42

4

xz-devel

1:5.6.3-1.fc42

1:5.6.3-2.fc42

4

glibc-headers-x86

2.40.9000-6.fc42

2.40.9000-7.fc42

4

xz

1:5.6.3-1.fc42

1:5.6.3-2.fc42

4

cups-libs

1:2.4.10-7.fc42

1:2.4.11-1.fc42

4

authselect-libs

1.5.0-7.fc41

1.5.0-8.fc42

4

add-determinism

0.3.6-1.fc41

0.4.1-1.fc42

4

fedora-release-common

42-0.3

42-0.4

B

authselect

1.5.0-7.fc41

1.5.0-8.fc42

B

info

7.1.1-1.fc42

7.1.1-2.fc42

B

fedora-release-identity-basic

42-0.3

42-0.4

B

fedora-release

42-0.3

42-0.4

B

show 18 more collapse