Koschei - cvc5 - build 121610557

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.1.2

Release

5.fc41

Started

2024-08-07 14:50:32

Finished

2024-08-07 15:16:34

Koji repo

6310291

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

python3-cython

3.0.9-5.fc41

3.0.11-1.fc41

1

git-core

2.45.2-3.fc41

2.46.0-1.fc41

1

sqlite-devel

3.46.0-3.fc41

3.46.0-4.fc41

1

python3-pip

24.1.1-2.fc41

24.2-1.fc41

1

libcurl

8.9.1-1.fc41

8.9.1-2.fc41

2

openssh-clients

9.8p1-2.fc41

9.8p1-3.fc41

2

sqlite

3.46.0-3.fc41

3.46.0-4.fc41

2

alternatives

1.29-1.fc41

1.30-1.fc41

2

sqlite-libs

3.46.0-3.fc41

3.46.0-4.fc41

2

python-pip-wheel

24.1.1-2.fc41

24.2-1.fc41

3

openssh

9.8p1-2.fc41

9.8p1-3.fc41

3

vim-filesystem

2:9.1.571-3.fc41

2:9.1.660-1.fc41

3

crypto-policies

20240725-2.git9555558....

20240802-1.git2e5e430....

3

curl

8.9.1-1.fc41

8.9.1-2.fc41

4

crypto-policies-scripts

20240725-2.git9555558....

20240802-1.git2e5e430....

4

forge-srpm-macros

0.3.1-2.fc41

0.3.2-1.fc41

4

kernel-headers

6.11.0-0.rc1.dc1c803...

6.11.0-0.rc2.23.fc41

4

fedora-release-identity-basic

41-0.17

41-0.20

B

fedora-release-common

41-0.17

41-0.20

B

fedora-release

41-0.17

41-0.20

B

glib2

2.81.0-1.fc41

2.81.1-1.fc41

B

show 11 more collapse