Koschei - cvc5 - build 121980062

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-08-15 11:32:15

Finished

2024-08-15 12:18:25

Koji repo

6330482

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

libedit-devel

3.1-52.20240517cv...

3.1-53.20240808cv...

1

less

661-1.fc41

661-2.fc41

2

gsl-devel

2.7.1-9.fc41

2.7.1-11.fc41

2

bash

5.2.26-4.fc41

5.2.32-1.fc41

2

libedit

3.1-52.20240517cv...

3.1-53.20240808cv...

2

readline

8.2-9.fc41

8.2-10.fc41

3

gsl

2.7.1-9.fc41

2.7.1-11.fc41

3

vim-filesystem

2:9.1.660-1.fc41

2:9.1.660-2.fc41

3

cups-libs

1:2.4.10-3.fc41

1:2.4.10-5.fc42

3

kernel-headers

6.11.0-0.rc2.23.fc41

6.11.0-0.rc3.30.fc41

4

annobin-plugin-gcc

12.67-1.fc41

12.70-1.fc42

4

default-fonts-core-sans

4.1-2.fc41

4.1-3.fc42

4

fedora-release

41-0.20

42-0.1

B

perl-Scalar-List-Utils

5:1.63-511.fc41

5:1.65-1.fc41

B

fedora-release-common

41-0.20

42-0.1

B

fedora-repos-rawhide

41-0.2

42-0.1

B

annobin-docs

12.67-1.fc41

12.70-1.fc42

B

fedora-release-identity-basic

41-0.20

42-0.1

B

fedora-repos

41-0.2

42-0.1

B

perl-parent

1:0.241-511.fc41

1:0.242-1.fc42

B

fedora-gpg-keys

41-0.2

42-0.1

B

show 11 more collapse