Koschei - cvc5 - build 123126350

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-09-09 01:08:18

Finished

2024-09-09 01:34:21

Koji repo

6409409

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.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

1

gcc-c++

14.2.1-1.fc42

14.2.1-2.fc42

1

libstdc++

14.2.1-1.fc42

14.2.1-2.fc42

2

gcc

14.2.1-1.fc42

14.2.1-2.fc42

2

libstdc++-devel

14.2.1-1.fc42

14.2.1-2.fc42

2

python3-libs

3.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

2

python3

3.13.0~rc1-3.fc42

3.13.0~rc2-1.fc42

2

glibc

2.40-3.fc41

2.40.9000-1.fc42

2

libgcc

14.2.1-1.fc42

14.2.1-2.fc42

2

glibc-gconv-extra

2.40-3.fc41

2.40.9000-1.fc42

3

cpp

14.2.1-1.fc42

14.2.1-2.fc42

3

glibc-common

2.40-3.fc41

2.40.9000-1.fc42

3

glibc-devel

2.40-3.fc41

2.40.9000-1.fc42

3

redhat-rpm-config

294-1.fc42

295-1.fc42

3

libquadmath-devel

14.2.1-1.fc42

14.2.1-2.fc42

3

glibc-minimal-langpack

2.40-3.fc41

2.40.9000-1.fc42

3

vim-filesystem

2:9.1.703-1.fc42

2:9.1.719-1.fc42

3

libgomp

14.2.1-1.fc42

14.2.1-2.fc42

3

gcc-plugin-annobin

14.2.1-1.fc42

14.2.1-2.fc42

4

glibc-headers-x86

2.40-3.fc41

2.40.9000-1.fc42

4

libquadmath

14.2.1-1.fc42

14.2.1-2.fc42

4

libgfortran

14.2.1-1.fc42

14.2.1-2.fc42

4

perl-MIME-Base32

1.303-21.fc41

B

perl-URI

5.28-2.fc41

5.29-1.fc42

B

show 14 more collapse