Koschei - cvc5 - build 125991337

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-11-18 18:56:15

Finished

2024-11-18 19:50:24

Koji repo

6532146

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

pyproject-rpm-macros

1.16.1-1.fc42

1.16.2-1.fc42

1

coreutils

9.5-10.fc42

9.5-11.fc42

2

glibc

2.40.9000-16.fc42

2.40.9000-18.fc42

2

pyproject-srpm-macros

1.16.1-1.fc42

1.16.2-1.fc42

2

binutils

2.43.50-5.fc42

2.43.50-7.fc42

3

glibc-devel

2.40.9000-16.fc42

2.40.9000-18.fc42

3

alsa-lib

1.2.13-1.fc42

1.2.13-3.fc42

3

elfutils

0.192-3.fc42

0.192-6.fc42

3

glibc-minimal-langpack

2.40.9000-16.fc42

2.40.9000-18.fc42

3

glibc-common

2.40.9000-16.fc42

2.40.9000-18.fc42

3

coreutils-common

9.5-10.fc42

9.5-11.fc42

3

elfutils-libelf

0.192-3.fc42

0.192-6.fc42

3

gdb-minimal

15.2-2.fc42

15.2-3.fc42

3

glibc-gconv-extra

2.40.9000-16.fc42

2.40.9000-18.fc42

3

cups-libs

1:2.4.11-2.fc42

1:2.4.11-3.fc42

3

kernel-headers

6.12.0-0.rc7.58.fc42

6.12.0-65.fc42

4

cups-filesystem

1:2.4.11-3.fc42

4

elfutils-debuginfod-client

0.192-3.fc42

0.192-6.fc42

4

default-fonts-core-sans

4.2-1.fc42

4.2-2.fc42

4

annobin-plugin-gcc

12.75-1.fc42

12.77-1.fc42

4

elfutils-libs

0.192-3.fc42

0.192-6.fc42

4

annobin-docs

12.75-1.fc42

12.77-1.fc42

B

elfutils-default-yama-scope

0.192-3.fc42

0.192-6.fc42

B

libtirpc

1.3.6-0.rc1.fc42

1.3.6-1.fc42

B

show 14 more collapse