Koschei - cvc5 - build 113034882

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.0

Release

4.fc40

Started

2024-02-06 11:43:27

Finished

2024-02-06 12:02:42

Koji repo

5800664

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

3.27.7-1.fc40

3.28.2-1.fc40

1

sqlite-devel

3.45.0-2.fc40

3.45.1-2.fc40

1

sqlite

3.45.0-2.fc40

3.45.1-2.fc40

2

cmake-data

3.27.7-1.fc40

3.28.2-1.fc40

2

libcurl

8.5.0-2.fc40

8.6.0-3.fc40

2

sqlite-libs

3.45.0-2.fc40

3.45.1-2.fc40

2

cmake-filesystem

3.27.7-1.fc40

3.28.2-1.fc40

2

glibc

2.38.9000-38.fc40

2.38.9000-39.fc40

2

ncurses-libs

6.4-11.20240113.fc40

6.4-12.20240127.fc40

2

cmake-rpm-macros

3.27.7-1.fc40

3.28.2-1.fc40

2

ncurses-devel

6.4-11.20240113.fc40

6.4-12.20240127.fc40

2

glibc-minimal-langpack

2.38.9000-38.fc40

2.38.9000-39.fc40

3

redhat-rpm-config

280-1.fc40

281-1.fc40

3

glibc-common

2.38.9000-38.fc40

2.38.9000-39.fc40

3

libuuid

2.39.3-4.fc40

2.40-0.1.fc40

3

glibc-gconv-extra

2.38.9000-38.fc40

2.38.9000-39.fc40

3

crypto-policies

20231204-3.git1e3a2e4....

20240201-1.git9f501f3....

3

vim-filesystem

2:9.1.031-2.fc40

2:9.1.076-2.fc40

3

glibc-devel

2.38.9000-38.fc40

2.38.9000-39.fc40

3

libXext

1.3.5-6.fc40

1.3.6-1.fc40

3

ncurses-base

6.4-11.20240113.fc40

6.4-12.20240127.fc40

3

gdb-minimal

14.1-6.fc40

14.1-8.fc40

3

libxml2

2.12.4-3.fc40

2.12.5-1.fc40

3

ncurses-c++-libs

6.4-11.20240113.fc40

6.4-12.20240127.fc40

3

gzip

1.12-8.fc40

1.13-1.fc40

3

crypto-policies-scripts

20231204-3.git1e3a2e4....

20240201-1.git9f501f3....

4

perl-threads

1:2.36-502.fc40

1:2.36-503.fc40

4

audit-libs

4.0-7.fc40

4.0-8.fc40

4

kernel-headers

6.8.0-0.rc1.12.fc40.1

6.8.0-0.rc3.26.fc40

4

glibc-headers-x86

2.38.9000-38.fc40

2.38.9000-39.fc40

4

curl

8.5.0-2.fc40

8.6.0-3.fc40

4

util-linux

2.39.3-4.fc40

2.40-0.1.fc40

4

dwz

0.15-5.fc40

0.15-6.fc40

4

default-fonts-core-sans

4.0-11.fc40

4.0-12.fc40

4

libsmartcols

2.39.3-4.fc40

2.40-0.1.fc40

B

util-linux-core

2.39.3-4.fc40

2.40-0.1.fc40

B

libblkid

2.39.3-4.fc40

2.40-0.1.fc40

B

ncurses

6.4-11.20240113.fc40

6.4-12.20240127.fc40

B

libmount

2.39.3-4.fc40

2.40-0.1.fc40

B

libfdisk

2.39.3-4.fc40

2.40-0.1.fc40

B

perl-URI

5.25-1.fc40

5.26-1.fc40

B

perl-Term-Cap

1.18-502.fc40

1.18-503.fc40

B

show 32 more collapse