Koschei - cvc5 - build 125974297

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-11-18 05:25:28

Finished

2024-11-18 05:48:41

Koji repo

6531973

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

1.16.0-1.fc40

1

cmake

3.28.2-1.fc40

3.30.5-1.fc40

1

cmake-rpm-macros

3.28.2-1.fc40

3.30.5-1.fc40

2

cmake-data

3.28.2-1.fc40

3.30.5-1.fc40

2

pyproject-srpm-macros

1.15.1-1.fc40

1.16.0-1.fc40

2

cmake-filesystem

3.28.2-1.fc40

3.30.5-1.fc40

2

elfutils-libelf

0.191-4.fc40

0.192-6.fc40

3

gdb-minimal

15.2-1.fc40

15.2-3.fc40

3

krb5-libs

1.21.3-1.fc40

1.21.3-2.fc40

3

vim-filesystem

2:9.1.785-1.fc40

2:9.1.825-1.fc40

3

elfutils

0.191-4.fc40

0.192-6.fc40

3

libtirpc

1.3.6-0.fc40

1.3.6-1.fc40

3

libxcrypt

4.4.36-5.fc40

4.4.36-10.fc40

3

elfutils-debuginfod-client

0.191-4.fc40

0.192-6.fc40

4

pam-libs

1.6.1-3.fc40

1.6.1-4.fc40

4

elfutils-libs

0.191-4.fc40

0.192-6.fc40

4

libxcrypt-devel

4.4.36-5.fc40

4.4.36-10.fc40

4

elfutils-default-yama-scope

0.191-4.fc40

0.192-6.fc40

B

json-c

0.17-3.fc40

B

pam

1.6.1-3.fc40

1.6.1-4.fc40

B

show 10 more collapse