Koschei - cvc5 - build 126181332

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-11-24 02:35:57

Finished

2024-11-24 03:27:58

Koji repo

6533263

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

javapackages-tools

6.3.4-1.fc42

6.4.0-2.fc42

1

glibc

2.40.9000-18.fc42

2.40.9000-20.fc42

2

systemd-libs

257~rc1-2.fc42

257~rc2-2.fc42

2

javapackages-filesystem

6.3.4-1.fc42

6.4.0-2.fc42

2

nss

3.105.0-1.fc42

3.106.0-1.fc42

3

binutils

2.43.50-7.fc42

2.43.50-8.fc42

3

glibc-devel

2.40.9000-18.fc42

2.40.9000-20.fc42

3

glibc-gconv-extra

2.40.9000-18.fc42

2.40.9000-20.fc42

3

file

5.45-7.fc41

5.45-8.fc42

3

glibc-minimal-langpack

2.40.9000-18.fc42

2.40.9000-20.fc42

3

vim-filesystem

2:9.1.825-1.fc42

2:9.1.866-1.fc42

3

glibc-common

2.40.9000-18.fc42

2.40.9000-20.fc42

3

cups-libs

1:2.4.11-3.fc42

1:2.4.11-4.fc42

3

cups-filesystem

1:2.4.11-3.fc42

1:2.4.11-4.fc42

4

file-libs

5.45-7.fc41

5.45-8.fc42

4

efi-srpm-macros

5-12.fc41

5-13.fc42

4

nss-sysinit

3.105.0-1.fc42

3.106.0-1.fc42

4

nss-util

3.105.0-1.fc42

3.106.0-1.fc42

4

nss-softokn

3.105.0-1.fc42

3.106.0-1.fc42

4

pam-libs

1.7.0-2.fc42

1.7.0-3.fc42

4

nspr

4.35.0-30.fc42

4.36.0-1.fc42

4

openblas-openmp

0.3.26-5.fc41

0.3.28-1.fc42

B

nss-softokn-freebl

3.105.0-1.fc42

3.106.0-1.fc42

B

openblas

0.3.26-5.fc41

0.3.28-1.fc42

B

pam

1.7.0-2.fc42

1.7.0-3.fc42

B

glib2

2.83.0-1.fc42

2.83.0-2.fc42

B

show 16 more collapse