Koschei - gappalib-coq - build 120511748

Build details

Build information

State

failed

failed

Name

gappalib-coq

Epoch

None

Version

1.5.5

Release

3.fc41

Started

2024-07-15 06:32:59

Finished

2024-07-15 06:40:25

Koji repo

6254864

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

coq

8.18.0-7.fc41

8.18.0-8.fc41

1

coq-core

8.18.0-7.fc41

8.18.0-8.fc41

2

libcurl

8.8.0-1.fc41

8.8.0-2.fc41

3

krb5-libs

1.21.2-6.fc41

1.21.3-1.fc41

4

libselinux

3.7-1.fc41

3.7-3.fc41

4

systemd-libs

256.1-8.fc41

256.2-1.fc41

4

curl

8.8.0-1.fc41

8.8.0-2.fc41

4

p11-kit

0.25.5-1.fc41

0.25.5-2.fc41

4

libutempter

1.2.1-13.fc40

1.2.1-14.fc41

4

p11-kit-trust

0.25.5-1.fc41

0.25.5-2.fc41

4

openssl-libs

1:3.2.2-3.fc41

1:3.2.2-4.fc41

4

rpm-sequoia

1.6.0-3.fc41

1.7.0-1.fc41

B

fedora-release

41-0.14

41-0.16

B

perl-Net-SSLeay

1.94-4.fc41

1.94-5.fc41

B

perl-IO-Socket-SSL

2.085-1.fc40

2.087-2.fc41

B

fedora-release-identity-basic

41-0.14

41-0.16

B

fedora-release-common

41-0.14

41-0.16

B

show 7 more collapse