Koschei - cvc5 - build 127113108

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc41

Started

2024-12-22 10:31:04

Finished

2024-12-22 11:32:49

Koji repo

6538948

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.fc41

3.13.1-2.fc41

1

python3-libs

3.13.0-1.fc41

3.13.1-2.fc41

2

alternatives

1.30-1.fc41

1.31-1.fc41

2

systemd-libs

256.9-2.fc41

256.10-1.fc41

2

glibc

2.40-12.fc41

2.40-17.fc41

2

python3

3.13.0-1.fc41

3.13.1-2.fc41

2

glibc-common

2.40-12.fc41

2.40-17.fc41

3

glibc-minimal-langpack

2.40-12.fc41

2.40-17.fc41

3

glibc-devel

2.40-12.fc41

2.40-17.fc41

3

nss

3.106.0-1.fc41

3.107.0-1.fc41

3

binutils

2.43.1-4.fc41

2.43.1-5.fc41

3

glibc-gconv-extra

2.40-12.fc41

2.40-17.fc41

3

forge-srpm-macros

0.3.2-1.fc41

0.4.0-1.fc41

4

nspr

4.36.0-1.fc41

4.36.0-2.fc41

4

nss-softokn

3.106.0-1.fc41

3.107.0-1.fc41

4

nss-util

3.106.0-1.fc41

3.107.0-1.fc41

4

nss-sysinit

3.106.0-1.fc41

3.107.0-1.fc41

4

nss-softokn-freebl

3.106.0-1.fc41

3.107.0-1.fc41

B

show 8 more collapse