Koschei - cvc5 - build 123650307

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-09-19 13:43:27

Finished

2024-09-19 14:05:59

Koji repo

6449477

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-2.fc40

3.12.6-1.fc40

1

git-core

2.46.0-1.fc40

2.46.1-1.fc40

1

yosyshq-abc-devel

0.45-1.20240905git...

0.44-1.20240808git...

1

gcc-c++

14.2.1-1.fc40

14.2.1-3.fc40

1

libgcc

14.2.1-1.fc40

14.2.1-3.fc40

2

systemd-libs

255.10-3.fc40

255.12-1.fc40

2

libstdc++-devel

14.2.1-1.fc40

14.2.1-3.fc40

2

zlib-ng-compat-devel

2.1.7-1.fc40

2.1.7-2.fc40

2

gcc

14.2.1-1.fc40

14.2.1-3.fc40

2

zlib-ng-compat

2.1.7-1.fc40

2.1.7-2.fc40

2

yosyshq-abc-libs

0.45-1.20240905git...

0.44-1.20240808git...

2

libstdc++

14.2.1-1.fc40

14.2.1-3.fc40

2

python3

3.12.5-2.fc40

3.12.6-1.fc40

2

python3-libs

3.12.5-2.fc40

3.12.6-1.fc40

2

cpp

14.2.1-1.fc40

14.2.1-3.fc40

3

libgomp

14.2.1-1.fc40

14.2.1-3.fc40

3

libquadmath-devel

14.2.1-1.fc40

14.2.1-3.fc40

3

gcc-plugin-annobin

14.2.1-1.fc40

14.2.1-3.fc40

4

libgfortran

14.2.1-1.fc40

14.2.1-3.fc40

4

qt5-srpm-macros

5.15.14-2.fc40

5.15.15-1.fc40

4

libquadmath

14.2.1-1.fc40

14.2.1-3.fc40

4

show 11 more collapse