Koschei - cvc5 - build 126356715

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc42

Started

2024-11-29 08:56:02

Finished

2024-11-29 09:49:20

Koji repo

6534369

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-pexpect

4.9.0-7.fc42

4.9.0-8.fc42

1

javapackages-tools

6.4.0-2.fc42

6.4.0-4.fc42

1

git-core

2.47.0-1.fc42

2.47.1-1.fc42

1

javapackages-filesystem

6.4.0-2.fc42

6.4.0-4.fc42

2

systemd-libs

257~rc2-2.fc42

257~rc3-1.fc42

2

unzip

6.0-64.fc41

6.0-65.fc42

3

binutils

2.43.50-8.fc42

2.43.50-9.fc42

3

libselinux

3.7-6.fc42

3.7-7.fc42

3

crypto-policies

20241106-1.git35892de....

20241128-1.gitbb7b0b0....

3

debugedit

5.1-1.fc42

5.1-2.fc42

3

libxcrypt-devel

4.4.36-10.fc42

4.4.36-11.fc42

4

go-srpm-macros

3.6.0-3.fc41

3.6.0-5.fc42

4

lksctp-tools

1.0.19-9.fc41

1.0.20-1.fc42

4

libsepol

3.7-3.fc42

3.7-4.fc42

4

cups-libs

1:2.4.11-4.fc42

1:2.4.11-6.fc42

4

perl-IO-Socket-IP

0.42-512.fc41

0.43-1.fc42

B

cups-filesystem

1:2.4.11-4.fc42

1:2.4.11-6.fc42

B

libxcrypt

4.4.36-10.fc42

4.4.36-11.fc42

B

libsemanage

3.7-3.fc42

3.7-4.fc42

B

show 9 more collapse