Koschei - cvc5 - build 125157780

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-10-24 15:35:56

Finished

2024-10-24 16:10:48

Koji repo

6526989

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.15.0-1.fc40

1.15.1-1.fc40

1

java-21-openjdk-devel

1:21.0.4.0.7-2.fc40

1:21.0.5.0.11-1.fc40

1

java-21-openjdk

1:21.0.4.0.7-2.fc40

1:21.0.5.0.11-1.fc40

2

pyproject-srpm-macros

1.15.0-1.fc40

1.15.1-1.fc40

2

java-21-openjdk-headless

1:21.0.4.0.7-2.fc40

1:21.0.5.0.11-1.fc40

2

libuv

1:1.49.1-1.fc40

1:1.49.2-1.fc40

2

libtirpc

1.3.5-0.fc40

1.3.6-0.fc40

3

debugedit

5.0-14.fc40

5.0-18.fc40

3

gdb-minimal

15.1-1.fc40

15.2-1.fc40

3

crypto-policies

20240725-1.git28d3e2d....

20241011-1.git5930b9a....

3

nss

3.104.0-1.fc40

3.105.0-1.fc40

3

nss-softokn

3.104.0-1.fc40

3.105.0-1.fc40

4

nss-util

3.104.0-1.fc40

3.105.0-1.fc40

4

dwz

0.15-6.fc40

0.15-8.fc40

4

nspr

4.35.0-29.fc40

4.35.0-30.fc40

4

nss-sysinit

3.104.0-1.fc40

3.105.0-1.fc40

4

crypto-policies-scripts

20240725-1.git28d3e2d....

20241011-1.git5930b9a....

4

authselect

1.5.0-5.fc40

1.5.0-6.fc40

B

nss-softokn-freebl

3.104.0-1.fc40

3.105.0-1.fc40

B

authselect-libs

1.5.0-5.fc40

1.5.0-6.fc40

B

show 10 more collapse