Koschei - cvc5 - build 123323109

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-09-12 23:23:11

Finished

2024-09-12 23:49:52

Koji repo

6424848

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

yosyshq-abc-devel

0.44-1.20240808git...

0.45-1.20240905git...

1

libcurl

8.9.1-3.fc42

8.10.0-1.fc42

2

openssl-libs

1:3.2.2-5.fc41

1:3.2.2-8.fc42

2

zlib-ng-compat-devel

2.1.7-2.fc41

2.1.7-3.fc42

2

rpm-build

4.19.93-1.fc42

4.19.94-1.fc42

2

zlib-ng-compat

2.1.7-2.fc41

2.1.7-3.fc42

2

yosyshq-abc-libs

0.44-1.20240808git...

0.45-1.20240905git...

2

libselinux

3.7-5.fc41

3.7-6.fc42

3

rpm-build-libs

4.19.93-1.fc42

4.19.94-1.fc42

3

gdb-minimal

15.1-1.fc41

15.1-2.fc42

3

rpm-libs

4.19.93-1.fc42

4.19.94-1.fc42

3

rpm

4.19.93-1.fc42

4.19.94-1.fc42

3

curl

8.9.1-3.fc42

8.10.0-1.fc42

4

libsepol

3.7-2.fc41

3.7-3.fc42

4

shadow-utils

2:4.15.1-9.fc41

2:4.16.0-2.fc42

4

kernel-headers

6.11.0-0.rc6.49.fc42

6.11.0-0.rc7.56.fc42

4

info

7.1-3.fc41

7.1.1-1.fc42

B

libsemanage

3.7-2.fc41

3.7-3.fc42

B

show 8 more collapse