Koschei - cvc5 - build 129145722

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

2.fc43

Started

2025-02-11 17:51:18

Finished

2025-02-11 19:11:55

Koji repo

6549822

Koji tasks

Build logs

aarch64

build.log | root.log

ppc64le

build.log | root.log

s390x

build.log | root.log

x86_64

build.log | root.log

Dependency changes from previous build

cryptominisat-devel

5.11.22-4.fc42

5.12.1-1.fc43

1

zlib-ng-devel

2.2.3-2.fc42

2

cryptominisat-libs

5.11.22-4.fc42

5.12.1-1.fc43

2

setup

2.15.0-10.fc42

2.15.0-12.fc43

3

zlib-ng

2.2.3-2.fc42

3

gdb-minimal

15.2-7.fc42

16.2-1.fc43

3

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc43

4

cups-libs

1:2.4.11-10.fc42

1:2.4.11-11.fc43

4

kernel-headers

6.14.0-0.rc1.15.fc42

6.14.0-0.rc2.22.fc43

4

libeconf

0.7.5-2.fc42

0.7.6-1.fc43

B

cups-filesystem

1:2.4.11-10.fc42

1:2.4.11-11.fc43

B

add-determinism

0.5.0-2.fc42

0.6.0-1.fc43

B

zlib-ng-compat-devel

2.2.3-2.fc42

show 3 more collapse