Koschei - coq - build 125110899

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

10.fc41

Started

2024-10-23 07:26:25

Finished

2024-10-23 07:53:53

Koji repo

6526677

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

glib2

2.82.1-2.fc42

2.82.2-1.fc42

2

openssh-clients

9.9p1-3.fc42

9.9p1-4.fc42

2

less

661-2.fc41

668-1.fc42

2

qt6-srpm-macros

6.7.2-3.fc41

6.8.0-1.fc42

3

binutils

2.43.1-1.fc42

2.43.50-5.fc42

3

lua-libs

5.4.6-6.fc41

5.4.7-1.fc42

3

build-reproducibility-srpm-macros

0.4.1-1.fc42

0.4.3-1.fc42

3

crypto-policies

20241010-1.git8baf557....

20241018-1.gitce922cb....

3

java-21-openjdk-headless

1:21.0.4.0.7-2.fc41

1:21.0.5.0.11-1.fc42

3

glib2-devel

2.82.1-2.fc42

2.82.2-1.fc42

3

libnghttp2

1.63.0-1.fc42

1.64.0-1.fc42

3

openssh

9.9p1-3.fc42

9.9p1-4.fc42

3

sqlite-libs

3.46.0-4.fc41

3.46.1-1.fc42

3

libcom_err

1.47.1-3.fc41

1.47.1-6.fc42

4

elfutils-debuginfod-client

0.191-8.fc41

0.192-3.fc42

4

elfutils-libelf

0.191-8.fc41

0.192-3.fc42

4

cups-libs

1:2.4.11-1.fc42

1:2.4.11-2.fc42

4

elfutils

0.191-8.fc41

0.192-3.fc42

4

shadow-utils

2:4.16.0-5.fc42

2:4.16.0-6.fc42

4

pam-libs

1.6.1-6.fc42

1.6.1-7.fc42

4

jansson

2.13.1-10.fc41

2.14-1.fc42

4

pam

1.6.1-6.fc42

1.6.1-7.fc42

4

add-determinism

0.4.1-1.fc42

0.4.3-1.fc42

4

kernel-headers

6.11.0-63.fc42

6.12.0-0.rc4.39.fc42

4

lua

5.4.6-6.fc41

5.4.7-1.fc42

B

fedora-release-common

42-0.4

42-0.6

B

libtirpc

1.3.5-0.fc41

1.3.6-0.fc42

B

fedora-release-identity-basic

42-0.4

42-0.6

B

fedora-release

42-0.4

42-0.6

B

elfutils-libs

0.191-8.fc41

0.192-3.fc42

B

elfutils-default-yama-scope

0.191-8.fc41

0.192-3.fc42

B

json-c

0.17-4.fc41

B

libusb1

1.0.27-3.fc41

1.0.27-4.fc42

B

libeconf

0.6.2-3.fc41

0.7.4-2.fc42

B

show 24 more collapse