Koschei - cvc5 - build 129148351

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

2.fc42

Started

2025-02-11 19:55:57

Finished

2025-02-11 20:34:56

Koji repo

6549888

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

git-core

2.48.1-2.fc42

2.48.1-3.fc42

1

cryptominisat-devel

5.11.22-4.fc42

5.12.1-1.fc42

1

python3-devel

3.13.2-1.fc42

3.13.2-2.fc42

1

pyproject-rpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

1

python3-libs

3.13.2-1.fc42

3.13.2-2.fc42

2

pyproject-srpm-macros

1.16.4-2.fc42

1.17.0-1.fc42

2

python3

3.13.2-1.fc42

3.13.2-2.fc42

2

zlib-ng-devel

2.2.3-2.fc42

2

cryptominisat-libs

5.11.22-4.fc42

5.12.1-1.fc42

2

m4

1.4.19-10.fc41

1.4.19-12.fc42

2

mpdecimal

2.5.1-17.fc42

4.0.0-2.fc42

3

flexiblas-netlib

3.4.4-7.fc42

3.4.5-1.fc42

3

setup

2.15.0-10.fc42

2.15.0-12.fc42

3

binutils

2.44-1.fc42

2.44-3.fc42

3

tzdata

2024b-2.fc42

2025a-1.fc42

3

vim-filesystem

2:9.1.1000-2.fc42

2:9.1.1081-1.fc42

3

zlib-ng

2.2.3-2.fc42

3

flexiblas-openblas-openmp

3.4.4-7.fc42

3.4.5-1.fc42

4

tzdata-java

2024b-2.fc42

2025a-1.fc42

4

build-reproducibility-srpm-macros

0.5.0-2.fc42

0.6.0-1.fc42

4

fedora-release

42-0.17

42-0.18

4

rpm-sequoia

1.7.0-4.fc42

1.7.0-5.fc42

4

flexiblas

3.4.4-7.fc42

3.4.5-1.fc42

4

fedora-release-common

42-0.17

42-0.18

B

add-determinism

0.5.0-2.fc42

0.6.0-1.fc42

B

zlib-ng-compat-devel

2.2.3-2.fc42

authselect

1.5.0-9.fc42

1.5.1-1.fc42

B

gnutls

3.8.8-2.fc42

3.8.8-3.fc42

B

fedora-release-identity-basic

42-0.17

42-0.18

B

authselect-libs

1.5.0-9.fc42

1.5.1-1.fc42

B

show 20 more collapse