Koschei - cvc5 - build 120234061

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

2.fc40

Started

2024-07-09 11:11:12

Finished

2024-07-09 11:37:21

Koji repo

6239632

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

1.13.0-1.fc40

1

python3-devel

3.12.3-2.fc40

3.12.4-1.fc40

1

python3

3.12.3-2.fc40

3.12.4-1.fc40

2

pyproject-srpm-macros

1.12.2-1.fc40

1.13.0-1.fc40

2

glibc

2.39-15.fc40

2.39-17.fc40

2

findutils

1:4.9.0-8.fc40

1:4.9.0-9.fc40

2

python3-libs

3.12.3-2.fc40

3.12.4-1.fc40

2

pcre2

10.42-2.fc40.2

10.44-1.fc40

2

p11-kit

0.25.3-4.fc40

0.25.5-1.fc40

3

glibc-minimal-langpack

2.39-15.fc40

2.39-17.fc40

3

p11-kit-trust

0.25.3-4.fc40

0.25.5-1.fc40

3

glibc-common

2.39-15.fc40

2.39-17.fc40

3

glibc-gconv-extra

2.39-15.fc40

2.39-17.fc40

3

glibc-devel

2.39-15.fc40

2.39-17.fc40

3

pcre2-syntax

10.42-2.fc40.2

10.44-1.fc40

3

glibc-headers-x86

2.39-15.fc40

2.39-17.fc40

4

gnutls

3.8.5-1.fc40

3.8.6-1.fc40

4

qt6-srpm-macros

6.7.1-1.fc40

6.7.2-1.fc40

4

show 8 more collapse