Koschei - cvc5 - build 126907372

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc41

Started

2024-12-16 04:12:51

Finished

2024-12-16 05:03:17

Koji repo

6537177

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

pyproject-rpm-macros

1.16.0-1.fc41

1.16.3-1.fc41

1

pyproject-srpm-macros

1.16.0-1.fc41

1.16.3-1.fc41

2

systemd-libs

256.8-1.fc41

256.9-2.fc41

2

elfutils

0.192-6.fc41

0.192-7.fc41

3

cups-libs

1:2.4.11-3.fc41

1:2.4.11-8.fc41

3

binutils

2.43.1-2.fc41

2.43.1-4.fc41

3

elfutils-libelf

0.192-6.fc41

0.192-7.fc41

3

vim-filesystem

2:9.1.895-1.fc41

2:9.1.919-1.fc41

3

openldap

2.6.8-5.fc41

2.6.8-6.fc41

3

qt6-srpm-macros

6.8.0-1.fc41

6.8.1-4.fc41

4

elfutils-debuginfod-client

0.192-6.fc41

0.192-7.fc41

4

elfutils-libs

0.192-6.fc41

0.192-7.fc41

4

cups-filesystem

1:2.4.11-3.fc41

1:2.4.11-8.fc41

4

kernel-headers

6.11.3-300.fc41

6.12.4-200.fc41

4

rpm-sequoia

1.7.0-2.fc41

1.7.0-3.fc41

4

fedora-release-common

41-28

41-29

B

perl-IO-Socket-IP

0.42-512.fc41

0.43-1.fc41

B

fedora-release-identity-basic

41-28

41-29

B

fedora-release

41-28

41-29

B

elfutils-default-yama-scope

0.192-6.fc41

0.192-7.fc41

B

show 10 more collapse