Koschei - cvc5 - build 126417334

Build details

Build information

State

complete

complete

Name

cvc5

Epoch

None

Version

1.2.0

Release

1.fc41

Started

2024-12-01 02:49:58

Finished

2024-12-01 03:45:13

Koji repo

6534588

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

git-core

2.47.0-1.fc41

2.47.1-1.fc41

1

glibc

2.40-11.fc41

2.40-12.fc41

2

glibc-minimal-langpack

2.40-11.fc41

2.40-12.fc41

3

glibc-devel

2.40-11.fc41

2.40-12.fc41

3

cups-libs

1:2.4.11-2.fc41

1:2.4.11-3.fc41

3

vim-filesystem

2:9.1.866-1.fc41

2:9.1.895-1.fc41

3

glibc-common

2.40-11.fc41

2.40-12.fc41

3

nss

3.105.0-1.fc41

3.106.0-1.fc41

3

glibc-gconv-extra

2.40-11.fc41

2.40-12.fc41

3

debugedit

5.1-1.fc41

5.1-2.fc41

3

cups-filesystem

1:2.4.11-3.fc41

4

nspr

4.35.0-30.fc41

4.36.0-1.fc41

4

efi-srpm-macros

5-12.fc41

5-13.fc41

4

libxcrypt-devel

4.4.36-10.fc41

4.4.36-11.fc41

4

nss-softokn

3.105.0-1.fc41

3.106.0-1.fc41

4

pam-libs

1.6.1-6.fc41

1.6.1-7.fc41

4

nss-util

3.105.0-1.fc41

3.106.0-1.fc41

4

nss-sysinit

3.105.0-1.fc41

3.106.0-1.fc41

4

libxcrypt

4.4.36-10.fc41

4.4.36-11.fc41

B

nss-softokn-freebl

3.105.0-1.fc41

3.106.0-1.fc41

B

fedora-release

41-27

41-28

B

fedora-release-common

41-27

41-28

B

pam

1.6.1-6.fc41

1.6.1-7.fc41

B

fedora-release-identity-basic

41-27

41-28

B

show 14 more collapse