Koschei - coq - build 130003806

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

4.fc40

Started

2025-03-08 19:57:43

Finished

2025-03-08 20:16:50

Koji repo

6557368

Koji tasks

Build logs

aarch64

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

emacs-filesystem

1:29.4-9.fc40

1:29.4-10.fc40

2

openssl-libs

1:3.2.2-3.fc40

1:3.2.4-1.fc40

2

libzstd-devel

1.5.6-1.fc40

1.5.7-1.fc40

2

openssh-clients

9.6p1-1.fc40.4

9.6p1-2.fc40

2

java-21-openjdk-headless

1:21.0.6.0.7-1.fc40

1:21.0.6.0.7-6.fc40

2

libzstd

1.5.6-1.fc40

1.5.7-1.fc40

2

openssh

9.6p1-1.fc40.4

9.6p1-2.fc40

3

gnutls

3.8.6-1.fc40

3.8.9-1.fc40

3

libxcrypt

4.4.38-3.fc40

4.4.38-6.fc40

3

nss

3.107.0-1.fc40

3.108.0-1.fc40

3

libxcrypt-devel

4.4.38-3.fc40

4.4.38-6.fc40

4

elfutils-libelf

0.192-7.fc40

0.192-9.fc40

4

libtasn1

4.19.0-6.fc40

4.20.0-1.fc40

4

cmake-filesystem

3.30.7-1.fc40

3.30.8-1.fc40

4

gdb-minimal

15.2-4.fc40

16.2-1.fc40

4

elfutils-debuginfod-client

0.192-7.fc40

0.192-9.fc40

4

nss-softokn

3.107.0-1.fc40

3.108.0-1.fc40

4

nss-util

3.107.0-1.fc40

3.108.0-1.fc40

4

nss-sysinit

3.107.0-1.fc40

3.108.0-1.fc40

4

kernel-headers

6.12.4-100.fc40

6.13.3-100.fc40

4

nspr

4.36.0-2.fc40

4.36.0-3.fc40

4

elfutils

0.192-7.fc40

0.192-9.fc40

4

zstd

1.5.6-1.fc40

1.5.7-1.fc40

4

lua-posix

36.2.1-6.fc40

copy-jdk-configs

4.1-5.fc40

nss-softokn-freebl

3.107.0-1.fc40

3.108.0-1.fc40

B

elfutils-default-yama-scope

0.192-7.fc40

0.192-9.fc40

B

elfutils-libs

0.192-7.fc40

0.192-9.fc40

B

lua

5.4.6-5.fc40

show 19 more collapse