Koschei - cvc5 - build 130160927

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.1

Release

3.fc43

Started

2025-03-12 06:10:09

Finished

2025-03-12 06:47:34

Koji repo

6559922

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~rc2-3.fc43

4.0.0~rc3-3.fc43

1

openssh-clients

9.9p1-9.fc43

9.9p1-12.fc43

2

cmake-filesystem

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

2

cmake-rpm-macros

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

2

cmake-data

4.0.0~rc2-3.fc43

4.0.0~rc3-3.fc43

2

libcurl

8.12.1-1.fc43

8.13.0~rc1-1.fc43

2

systemd-libs

257.3-7.fc43

257.4-3.fc43

2

libidn2

2.3.7-3.fc42

2.3.8-1.fc43

3

readline

8.2-12.fc42

8.2-13.fc43

3

openssh

9.9p1-9.fc43

9.9p1-12.fc43

3

libffi

3.4.7-1.fc43

3.4.7-2.fc43

3

crypto-policies

20250214-1.gitff7551b....

20250305-1.gita35b0fa....

3

setup

2.15.0-12.fc43

2.15.0-14.fc43

3

vim-filesystem

2:9.1.1122-1.fc43

2:9.1.1179-1.fc43

3

systemd-standalone-sysusers

257.3-7.fc43

257.4-3.fc43

4

tree-sitter-srpm-macros

0.1.0-10.fc43

0.2.0-1.fc43

4

kernel-headers

6.14.0-0.rc5.43.fc43

6.14.0-0.rc6.49.fc43

4

curl

8.12.1-1.fc43

8.13.0~rc1-1.fc43

4

fedora-release

43-0.6

43-0.7

4

avahi-libs

0.9~rc2-2.fc42

0.9~rc2-3.fc43

B

glib2

2.83.5-1.fc43

2.84.0-1.fc43

B

fedora-release-common

43-0.6

43-0.7

B

fedora-release-identity-basic

43-0.6

43-0.7

B

show 13 more collapse