Koschei - coq - build 129418414

Build details

Build information

State

complete

complete

Name

coq

Epoch

None

Version

8.18.0

Release

11.fc41

Started

2025-02-20 03:31:04

Finished

2025-02-20 03:52:40

Koji repo

6552144

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

python3-devel

3.13.1-2.fc41

3.13.2-1.fc41

1

pyproject-rpm-macros

1.16.4-1.fc41

1.17.0-1.fc41

2

python3-libs

3.13.1-2.fc41

3.13.2-1.fc41

2

java-21-openjdk-headless

1:21.0.6.0.7-1.fc41

1:21.0.6.0.7-6.fc41

2

openssh-clients

9.9p1-2.fc41

9.9p1-3.fc41

2

python3

3.13.1-2.fc41

3.13.2-1.fc41

2

openssl-libs

1:3.2.2-11.fc41

1:3.2.4-1.fc41

2

lksctp-tools

1.0.19-9.fc41

1.0.20-1.fc41

3

gnutls

3.8.8-3.fc41

3.8.9-2.fc41

3

nss

3.107.0-1.fc41

3.108.0-1.fc41

3

tzdata

2024b-1.fc41

2025a-1.fc41

3

openssh

9.9p1-2.fc41

9.9p1-3.fc41

3

flexiblas-netlib

3.4.4-5.fc41

3.4.5-1.fc41

3

rpm-sequoia

1.7.0-3.fc41

1.7.0-5.fc41

3

tzdata-java

2024b-1.fc41

2025a-1.fc41

3

krb5-libs

1.21.3-3.fc41

1.21.3-4.fc41

3

pyproject-srpm-macros

1.16.4-1.fc41

1.17.0-1.fc41

3

flexiblas

3.4.4-5.fc41

3.4.5-1.fc41

4

libxcrypt-devel

4.4.38-3.fc41

4.4.38-6.fc41

4

flexiblas-openblas-openmp

3.4.4-5.fc41

3.4.5-1.fc41

4

nss-sysinit

3.107.0-1.fc41

3.108.0-1.fc41

4

libtasn1

4.19.0-9.fc41

4.20.0-1.fc41

4

nss-util

3.107.0-1.fc41

3.108.0-1.fc41

4

nss-softokn

3.107.0-1.fc41

3.108.0-1.fc41

4

nspr

4.36.0-2.fc41

4.36.0-3.fc41

4

copy-jdk-configs

4.1-6.fc41

nss-softokn-freebl

3.107.0-1.fc41

3.108.0-1.fc41

B

lua-posix

36.2.1-7.fc41

libusb1

1.0.27-6.fc41

1.0.27-9.fc41

B

lua

5.4.6-6.fc41

libxcrypt

4.4.38-3.fc41

4.4.38-6.fc41

B

show 21 more collapse