Koschei - cvc5 - build 126952708

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-12-17 11:34:46

Finished

2024-12-17 12:29:30

Koji repo

6537574

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-1.fc42

3.13.1-2.fc42

1

python3-wheel

1:0.44.0-1.fc42

1:0.45.1-1.fc42

1

python3-libs

3.13.0-1.fc42

3.13.1-2.fc42

2

python3

3.13.0-1.fc42

3.13.1-2.fc42

2

libcurl

8.10.1-2.fc42

8.11.1-2.fc42

2

glibc

2.40.9000-21.fc42

2.40.9000-24.fc42

2

vim-filesystem

2:9.1.906-1.fc42

2:9.1.919-1.fc42

3

libXrender

0.9.11-7.fc41

0.9.12-1.fc42

3

glibc-minimal-langpack

2.40.9000-21.fc42

2.40.9000-24.fc42

3

glibc-common

2.40.9000-21.fc42

2.40.9000-24.fc42

3

glibc-gconv-extra

2.40.9000-21.fc42

2.40.9000-24.fc42

3

glibc-devel

2.40.9000-21.fc42

2.40.9000-24.fc42

3

tzdata

2024a-9.fc41

2024b-1.fc42

3

python3-numpy

1:1.26.4-8.fc41

1:2.2.0-1.fc42

4

tzdata-java

2024a-9.fc41

2024b-1.fc42

4

curl

8.10.1-2.fc42

8.11.1-2.fc42

4

kernel-headers

6.13.0-0.rc1.e70140b...

6.13.0-0.rc3.29.fc42

4

perl-parent

1:0.243-1.fc42

1:0.244-1.fc42

B

libXau

1.0.11-7.fc41

1.0.12-1.fc42

B

glib2

2.83.0-2.fc42

2.83.0-3.fc42

B

show 10 more collapse