Koschei - cvc5 - build 123528939

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-09-17 07:39:31

Finished

2024-09-17 08:15:52

Koji repo

6438901

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

yosyshq-abc-devel

0.44-1.20240808git...

0.45-1.20240905git...

1

python3-devel

3.13.0~rc1-2.fc41

3.13.0~rc2-1.fc41

1

gcc-c++

14.2.1-1.fc41

14.2.1-3.fc41

1

libstdc++-devel

14.2.1-1.fc41

14.2.1-3.fc41

2

python3-libs

3.13.0~rc1-2.fc41

3.13.0~rc2-1.fc41

2

python3

3.13.0~rc1-2.fc41

3.13.0~rc2-1.fc41

2

gcc

14.2.1-1.fc41

14.2.1-3.fc41

2

libstdc++

14.2.1-1.fc41

14.2.1-3.fc41

2

libgcc

14.2.1-1.fc41

14.2.1-3.fc41

2

yosyshq-abc-libs

0.44-1.20240808git...

0.45-1.20240905git...

2

libquadmath

14.2.1-1.fc41

14.2.1-3.fc41

3

libgomp

14.2.1-1.fc41

14.2.1-3.fc41

3

vim-filesystem

2:9.1.660-2.fc41

2:9.1.719-1.fc41

3

cpp

14.2.1-1.fc41

14.2.1-3.fc41

3

libquadmath-devel

14.2.1-1.fc41

14.2.1-3.fc41

3

libgfortran

14.2.1-1.fc41

14.2.1-3.fc41

3

gcc-plugin-annobin

14.2.1-1.fc41

14.2.1-3.fc41

4

kernel-headers

6.11.0-0.rc5.43.fc41

6.11.0-63.fc41

4

qt5-srpm-macros

5.15.14-3.fc41

5.15.15-1.fc41

4

perl-IO-Socket-SSL

2.088-2.fc41

2.089-1.fc41

B

fedora-gpg-keys

41-0.4

41-0.5

B

fedora-repos

41-0.4

41-0.5

B

show 12 more collapse