Koschei - cvc5 - build 113239273

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.0

Release

5.fc40

Started

2024-02-09 16:53:11

Finished

2024-02-09 17:20:45

Koji repo

5812569

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

python3-devel

3.12.1-4.fc40

3.12.2-1.fc40

1

cryptominisat-devel

5.11.15-1.fc40

5.11.21-1.fc40

1

python3-setuptools

68.2.2-3.fc40

69.0.3-2.fc40

1

bash

5.2.26-2.fc40

5.2.26-3.fc40

2

cryptominisat-libs

5.11.15-1.fc40

5.11.21-1.fc40

2

rpm-build

4.19.1-4.fc40

4.19.1.1-1.fc40

2

libcurl-minimal

8.6.0-4.fc40

2

python3

3.12.1-4.fc40

3.12.2-1.fc40

2

python3-libs

3.12.1-4.fc40

3.12.2-1.fc40

2

openssl-libs

1:3.1.4-4.fc40

1:3.2.1-1.fc40

2

libuv

1:1.47.0-6.fc40

1:1.48.0-1.fc40

2

less

643-3.fc40

643-4.fc40

2

file

5.45-3.fc40

5.45-4.fc40

3

libfido2

1.14.0-3.fc40

1.14.0-4.fc40

3

rpm

4.19.1-4.fc40

4.19.1.1-1.fc40

3

tzdata

2023d-3.fc40

2024a-2.fc40

3

redhat-rpm-config

281-1.fc40

282-1.fc40

3

rpm-libs

4.19.1-4.fc40

4.19.1.1-1.fc40

3

rpm-build-libs

4.19.1-4.fc40

4.19.1.1-1.fc40

3

libuuid

2.40-0.1.fc40

2.40-0.8.rc1.fc40

3

tzdata-java

2023d-3.fc40

2024a-2.fc40

3

vim-filesystem

2:9.1.076-2.fc40

2:9.1.083-1.fc40

3

curl

8.6.0-3.fc40

8.6.0-4.fc40

4

util-linux

2.40-0.1.fc40

2.40-0.8.rc1.fc40

4

freetype

2.13.2-4.fc40

2.13.2-5.fc40

4

file-libs

5.45-3.fc40

5.45-4.fc40

4

libcbor

0.10.2-5.fc40

0.11.0-1.fc40

4

go-srpm-macros

3.3.1-3.fc40

3.4.0-2.fc40

4

shadow-utils

2:4.14.0-4.fc40

2:4.14.0-5.fc40

B

google-noto-fonts-common

20240101-1.fc40

20240201-1.fc40

B

util-linux-core

2.40-0.1.fc40

2.40-0.8.rc1.fc40

B

libsmartcols

2.40-0.1.fc40

2.40-0.8.rc1.fc40

B

fedora-release

40-0.29

40-0.30

B

google-noto-sans-vf-fonts

20240101-1.fc40

20240201-1.fc40

B

publicsuffix-list-dafsa

20240107-3.fc40

fedora-release-common

40-0.29

40-0.30

B

fedora-release-identity-basic

40-0.29

40-0.30

B

libblkid

2.40-0.1.fc40

2.40-0.8.rc1.fc40

B

openldap

2.6.6-1.fc39

libfdisk

2.40-0.1.fc40

2.40-0.8.rc1.fc40

B

libssh-config

0.10.6-4.fc40

perl-Scalar-List-Utils

5:1.63-502.fc40

5:1.63-503.fc40

B

libmount

2.40-0.1.fc40

2.40-0.8.rc1.fc40

B

libpsl

0.21.5-3.fc40

perl-Pod-Usage

4:2.03-502.fc40

4:2.03-503.fc40

B

libssh

0.10.6-4.fc40

cyrus-sasl-lib

2.1.28-19.fc40

libcurl

8.6.0-3.fc40

show 38 more collapse