Koschei - cvc5 - build 131311329

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc41

Started

2025-04-09 03:58:31

Finished

2025-04-09 04:45:58

Koji repo

6567041

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.46-1.20241011git...

0.51-1.20250313git...

1

pyproject-rpm-macros

1.17.0-1.fc41

1.18.1-1.fc41

1

pyproject-srpm-macros

1.17.0-1.fc41

1.18.1-1.fc41

2

yosyshq-abc-libs

0.46-1.20241011git...

0.51-1.20250313git...

2

expat

2.7.0-1.fc41

2.7.1-1.fc41

2

tzdata-java

2025a-1.fc41

2025b-1.fc41

3

openldap

2.6.8-7.fc41

2.6.9-1.fc41

3

gdb-minimal

16.2-1.fc41

16.2-2.fc41

3

tzdata

2025a-1.fc41

2025b-1.fc41

3

vim-filesystem

2:9.1.1227-1.fc41

2:9.1.1275-1.fc41

3

libxcrypt-devel

4.4.38-6.fc41

4.4.38-7.fc41

4

glib2

2.82.2-1.fc41

2.82.5-1.fc41

B

libxcrypt

4.4.38-6.fc41

4.4.38-7.fc41

B

show 3 more collapse