Koschei - cvc5 - build 122708406

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-08-30 20:59:36

Finished

2024-08-30 21:20:39

Koji repo

6382157

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-devel

3.12.4-1.fc40

3.12.5-1.fc40

1

libedit-devel

3.1-51.20240517cv...

3.1-53.20240808cv...

1

python3

3.12.4-1.fc40

3.12.5-1.fc40

2

libedit

3.1-51.20240517cv...

3.1-53.20240808cv...

2

python3-libs

3.12.4-1.fc40

3.12.5-1.fc40

2

less

643-4.fc40

643-6.fc40

2

openssl-libs

1:3.2.1-2.fc40

1:3.2.2-3.fc40

2

cups-libs

1:2.4.10-3.fc40

1:2.4.10-6.fc40

3

libX11

1.8.10-1.fc40

1.8.10-2.fc40

3

vim-filesystem

2:9.1.660-1.fc40

2:9.1.672-1.fc40

3

forge-srpm-macros

0.3.1-1.fc40

0.3.2-1.fc40

4

cddlib

1:0.94m-16.fc40

1:0.94m-19.fc40

4

libX11-common

1.8.10-1.fc40

1.8.10-2.fc40

4

show 3 more collapse