Koschei - cvc5 - build 130272730

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

3.fc43

Started

2025-03-14 19:31:05

Finished

2025-03-14 20:21:32

Koji repo

6560583

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

cmake

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

1

yosyshq-abc-devel

0.46-2.20241011git...

0.51-1.20250313git...

1

yosyshq-abc-libs

0.46-2.20241011git...

0.51-1.20250313git...

2

cmake-data

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

2

cmake-filesystem

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

2

openssl-libs

1:3.2.4-2.fc43

1:3.2.4-3.fc43

2

libarchive

3.7.7-3.fc43

3.7.7-4.fc43

2

cmake-rpm-macros

4.0.0~rc3-3.fc43

4.0.0~rc4-1.fc43

2

expat

2.6.4-2.fc42

2.7.0-1.fc43

2

alternatives

1.31-3.fc42

1.32-1.fc43

2

libcurl

8.13.0~rc1-1.fc43

8.13.0~rc1-2.fc43

2

libxml2

2.12.9-2.fc42

2.12.10-1.fc43

3

vim-filesystem

2:9.1.1179-1.fc43

2:9.1.1202-1.fc43

3

fontconfig

2.16.0-2.fc42

2.16.1-1.fc43

3

curl

8.13.0~rc1-1.fc43

8.13.0~rc1-2.fc43

4

efi-srpm-macros

6-2.fc42

6-3.fc43

4

show 6 more collapse