Koschei - cvc5 - build 125303380

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-10-28 23:45:24

Finished

2024-10-29 00:48:24

Koji repo

6527599

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-scikit-build

0.17.6-7.fc41

0.18.1-1.fc42

1

glibc

2.40.9000-7.fc42

2.40.9000-13.fc42

2

openssh-clients

9.9p1-4.fc42

9.9p1-5.fc42

2

libnghttp2

1.63.0-1.fc42

1.64.0-1.fc42

3

glibc-devel

2.40.9000-7.fc42

2.40.9000-13.fc42

3

openssh

9.9p1-4.fc42

9.9p1-5.fc42

3

glibc-gconv-extra

2.40.9000-7.fc42

2.40.9000-13.fc42

3

elfutils-libelf

0.192-2.fc42

0.192-3.fc42

3

elfutils

0.192-2.fc42

0.192-3.fc42

3

glibc-minimal-langpack

2.40.9000-7.fc42

2.40.9000-13.fc42

3

glibc-common

2.40.9000-7.fc42

2.40.9000-13.fc42

3

binutils

2.43.1-1.fc42

2.43.50-5.fc42

3

pam-libs

1.6.1-7.fc42

1.6.1-8.fc42

4

lua-libs

5.4.6-6.fc41

5.4.7-1.fc42

4

elfutils-libs

0.192-2.fc42

0.192-3.fc42

4

jansson

2.13.1-10.fc41

2.14-1.fc42

4

default-fonts-core-sans

4.1-3.fc42

4.2-1.fc42

4

lua

5.4.6-6.fc41

5.4.7-1.fc42

4

elfutils-debuginfod-client

0.192-2.fc42

0.192-3.fc42

4

glibc-headers-x86

2.40.9000-7.fc42

2.40.9000-13.fc42

4

kernel-headers

6.11.0-63.fc42

6.12.0-0.rc5.44.fc42

4

fedora-repos

42-0.2

42-0.3

B

fedora-repos-rawhide

42-0.2

42-0.3

B

fedora-gpg-keys

42-0.2

42-0.3

B

pam

1.6.1-7.fc42

1.6.1-8.fc42

B

elfutils-default-yama-scope

0.192-2.fc42

0.192-3.fc42

B

show 16 more collapse