Koschei - cvc5 - build 124388424

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc41

Started

2024-10-05 00:47:53

Finished

2024-10-05 01:42:53

Koji repo

6505175

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.14.0-1.fc41

1.15.0-1.fc41

1

python3-pexpect

4.9.0-6.fc41

1

git-core

2.46.1-1.fc41

2.46.2-1.fc41

1

pyproject-srpm-macros

1.14.0-1.fc41

1.15.0-1.fc41

2

libuv

1:1.48.0-2.fc41

1:1.49.0-1.fc41

2

ca-certificates

2024.2.68_v8.0.302-3.fc41

2024.2.69_v8.0.401-1.0.fc41

2

python3-ptyprocess

0.7.0-9.fc41

2

rpm-build

4.19.92-6.fc41

4.19.94-1.fc41

2

coreutils

9.5-9.fc41

9.5-10.fc41

2

openssl-libs

1:3.2.2-7.fc41

1:3.2.2-9.fc41

2

cups-libs

1:2.4.10-6.fc41

1:2.4.10-7.fc41

3

rpm-build-libs

4.19.92-6.fc41

4.19.94-1.fc41

3

rpm-libs

4.19.92-6.fc41

4.19.94-1.fc41

3

binutils

2.43-3.fc41

2.43.1-2.fc41

3

coreutils-common

9.5-9.fc41

9.5-10.fc41

3

rpm

4.19.92-6.fc41

4.19.94-1.fc41

3

vim-filesystem

2:9.1.719-1.fc41

2:9.1.737-1.fc41

3

shadow-utils

2:4.15.1-10.fc41

2:4.15.1-11.fc41

4

libxcb

1.17.0-2.fc41

1.17.0-3.fc41

4

glib2

2.82.0-1.fc41

2.82.1-1.fc41

B

show 10 more collapse