Koschei - cvc5 - build 123289564

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-09-12 07:50:52

Finished

2024-09-12 08:23:13

Koji repo

6421334

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

python3-devel

3.12.5-1.fc40

3.12.5-2.fc40

1

yosyshq-abc-devel

0.44-1.20240808git...

0.45-1.20240905git...

1

expat

2.6.2-1.fc40

2.6.3-1.fc40

2

pkgconf-pkg-config

2.1.1-1.fc40

2.1.1-2.fc40

2

yosyshq-abc-libs

0.44-1.20240808git...

0.45-1.20240905git...

2

python3-libs

3.12.5-1.fc40

3.12.5-2.fc40

2

python3

3.12.5-1.fc40

3.12.5-2.fc40

2

vim-filesystem

2:9.1.672-1.fc40

2:9.1.719-1.fc40

3

libXi

1.8.1-5.fc40

1.8.2-1.fc40

3

pkgconf-m4

2.1.1-1.fc40

2.1.1-2.fc40

3

gdb-minimal

14.2-3.fc40

15.1-1.fc40

3

pkgconf

2.1.1-1.fc40

2.1.1-2.fc40

3

libpkgconf

2.1.1-1.fc40

2.1.1-2.fc40

4

show 3 more collapse