Koschei - cvc5 - build 124741798

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-10-12 13:05:09

Finished

2024-10-12 13:54:22

Koji repo

6524612

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

javapackages-tools

6.3.3-1.fc42

6.3.4-1.fc42

1

git-core

2.46.2-1.fc42

2.47.0-1.fc42

1

python3-devel

3.13.0~rc3-1.fc42

3.13.0-1.fc42

1

openssh-clients

9.8p1-4.fc42

9.9p1-3.fc42

2

python3

3.13.0~rc3-1.fc42

3.13.0-1.fc42

2

systemd-libs

256.5-1.fc42

256.7-1.fc42

2

javapackages-filesystem

6.3.3-1.fc42

6.3.4-1.fc42

2

python3-libs

3.13.0~rc3-1.fc42

3.13.0-1.fc42

2

openssh

9.8p1-4.fc42

9.9p1-3.fc42

3

xz

1:5.6.3-1.fc42

1:5.6.3-2.fc42

3

cups-libs

1:2.4.10-7.fc42

1:2.4.11-1.fc42

3

xz-libs

1:5.6.3-1.fc42

1:5.6.3-2.fc42

3

crypto-policies

20240927-1.git93b7251....

20241010-1.git8baf557....

3

freetype

2.13.2-6.fc41

2.13.3-1.fc42

4

dwz

0.15-7.fc41

0.15-8.fc42

4

build-reproducibility-srpm-macros

0.3.6-1.fc41

0.4.0-1.fc42

4

perl-URI

5.29-1.fc42

5.30-1.fc42

B

fedora-release

42-0.3

42-0.4

B

fedora-release-identity-basic

42-0.3

42-0.4

B

authselect-libs

1.5.0-7.fc41

1.5.0-8.fc42

B

fedora-release-common

42-0.3

42-0.4

B

authselect

1.5.0-7.fc41

1.5.0-8.fc42

B

add-determinism

0.3.6-1.fc41

0.4.0-1.fc42

B

show 13 more collapse