Koschei - cvc5 - build 117018318

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc41

Started

2024-04-29 07:13:57

Finished

2024-04-29 07:45:43

Koji repo

6055878

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.28.3-3.fc41

3.28.3-4.fc41

1

sqlite-devel

3.45.2-1.fc41

3.45.3-1.fc41

1

cmake-filesystem

3.28.3-3.fc41

3.28.3-4.fc41

2

cmake-data

3.28.3-3.fc41

3.28.3-4.fc41

2

glibc

2.39.9000-13.fc41

2.39.9000-16.fc41

2

cmake-rpm-macros

3.28.3-3.fc41

3.28.3-4.fc41

2

systemd-libs

255.4-1.fc41

255.5-1.fc41

2

sqlite-libs

3.45.2-1.fc41

3.45.3-1.fc41

2

openssh-clients

9.6p1-1.fc41.7

9.6p1-1.fc41.9

2

sqlite

3.45.2-1.fc41

3.45.3-1.fc41

2

glibc-gconv-extra

2.39.9000-13.fc41

2.39.9000-16.fc41

3

glibc-devel

2.39.9000-13.fc41

2.39.9000-16.fc41

3

openssh

9.6p1-1.fc41.7

9.6p1-1.fc41.9

3

gdb-minimal

14.2-1.fc41

14.2-5.fc41

3

glibc-minimal-langpack

2.39.9000-13.fc41

2.39.9000-16.fc41

3

glibc-common

2.39.9000-13.fc41

2.39.9000-16.fc41

3

picosat-libs

965-20.fc40

965-21.fc41

3

annobin-plugin-gcc

12.50-1.fc41

12.52-1.fc41

4

glibc-headers-x86

2.39.9000-13.fc41

2.39.9000-16.fc41

4

ed

1.20.1-1.fc41

1.20.2-1.fc41

4

default-fonts-core-sans

4.0-12.fc40

4.0-13.fc41

4

annobin-docs

12.50-1.fc41

12.52-1.fc41

B

show 12 more collapse