Koschei - cvc5 - build 121683379

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-08-09 05:58:06

Finished

2024-08-09 06:24:55

Koji repo

6315142

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

yosyshq-abc-devel

0.41-2.20240524git...

0.44-1.20240808git...

1

kissat-devel

3.1.1-5.fc41

4.0.0-1.fc41

1

python3-devel

3.13.0~rc1-1.fc41

3.13.0~rc1-2.fc41

1

python3-libs

3.13.0~rc1-1.fc41

3.13.0~rc1-2.fc41

2

python3

3.13.0~rc1-1.fc41

3.13.0~rc1-2.fc41

2

kissat-libs

3.1.1-5.fc41

4.0.0-1.fc41

2

yosyshq-abc-libs

0.41-2.20240524git...

0.44-1.20240808git...

2

crypto-policies

20240802-1.git2e5e430....

20240807-1.git5795660....

3

gdb-minimal

14.2-15.fc41

15.1-1.fc41

3

nss

3.101.0-4.fc41

3.103.0-1.fc41

3

flexiblas-netlib

3.4.4-2.fc41

3.4.4-3.fc41

3

nspr

4.35.0-27.fc41

4.35.0-28.fc41

4

flexiblas-openblas-openmp

3.4.4-2.fc41

3.4.4-3.fc41

4

audit-libs

4.0.1-4.fc41

4.0.2-1.fc41

4

nss-sysinit

3.101.0-4.fc41

3.103.0-1.fc41

4

nss-util

3.101.0-4.fc41

3.103.0-1.fc41

4

nss-softokn

3.101.0-4.fc41

3.103.0-1.fc41

4

flexiblas

3.4.4-2.fc41

3.4.4-3.fc41

4

annobin-plugin-gcc

12.66-1.fc41

12.67-1.fc41

4

annobin-docs

12.66-1.fc41

12.67-1.fc41

B

nss-softokn-freebl

3.101.0-4.fc41

3.103.0-1.fc41

B

crypto-policies-scripts

20240802-1.git2e5e430....

show 12 more collapse