Koschei - cvc5 - build 124392546

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-10-05 02:33:57

Finished

2024-10-05 03:00:00

Koji repo

6505498

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

2.46.2-1.fc40

1

pyproject-rpm-macros

1.13.0-1.fc40

1.15.0-1.fc40

1

yosyshq-abc-devel

0.44-1.20240808git...

0.45-1.20240905git...

1

libuv

1:1.48.0-1.fc40

1:1.49.0-1.fc40

2

yosyshq-abc-libs

0.44-1.20240808git...

0.45-1.20240905git...

2

coreutils

9.4-7.fc40

9.4-8.fc40

2

ca-certificates

2023.2.62_v7.0.401-6.fc40

2024.2.69_v8.0.401-1.0.fc40

2

pyproject-srpm-macros

1.13.0-1.fc40

1.15.0-1.fc40

2

nss

3.103.0-1.fc40

3.104.0-1.fc40

3

libselinux

3.6-4.fc40

3.7-5.fc40

3

coreutils-common

9.4-7.fc40

9.4-8.fc40

3

cups-libs

1:2.4.10-6.fc40

1:2.4.10-7.fc40

3

libxcb

1.17.0-1.fc40

1.17.0-2.fc40

4

libsepol

3.6-3.fc40

3.7-2.fc40

4

ghc-srpm-macros

1.9-1.fc40

1.9.1-1.fc40

4

nss-util

3.103.0-1.fc40

3.104.0-1.fc40

4

nss-softokn

3.103.0-1.fc40

3.104.0-1.fc40

4

nspr

4.35.0-28.fc40

4.35.0-29.fc40

4

nss-sysinit

3.103.0-1.fc40

3.104.0-1.fc40

4

libsemanage

3.6-3.fc40

3.7-2.fc40

B

nss-softokn-freebl

3.103.0-1.fc40

3.104.0-1.fc40

B

show 11 more collapse