Koschei - cvc5 - build 121830708

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-08-12 07:45:00

Finished

2024-08-12 08:16:43

Koji repo

6320775

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

git-core

2.45.2-2.fc40

2.46.0-1.fc40

1

python3-setuptools

69.0.3-3.fc40

69.0.3-4.fc40

1

yosyshq-abc-devel

0.41-1.20240524git...

0.44-1.20240808git...

1

yosyshq-abc-libs

0.41-1.20240524git...

0.44-1.20240808git...

2

systemd-libs

255.10-1.fc40

255.10-3.fc40

2

nss

3.101.0-1.fc40

3.103.0-1.fc40

3

vim-filesystem

2:9.1.571-1.fc40

2:9.1.660-1.fc40

3

audit-libs

4.0.1-1.fc40

4.0.2-1.fc40

4

nss-softokn

3.101.0-1.fc40

3.103.0-1.fc40

4

nss-sysinit

3.101.0-1.fc40

3.103.0-1.fc40

4

nspr

4.35.0-24.fc40

4.35.0-28.fc40

4

kernel-headers

6.9.4-200.fc40

6.10.3-200.fc40

4

nss-util

3.101.0-1.fc40

3.103.0-1.fc40

4

nss-softokn-freebl

3.101.0-1.fc40

3.103.0-1.fc40

B

show 4 more collapse