Build details

Build information

State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
2.fc40
Started
2024-12-02 02:27:26
Finished
2024-12-02 02:56:53
Koji repo
6534744

Koji tasks

complete
aarch64
├126450011 closed
ppc64le
├126450012 closed
x86_64
└126450010 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

cmake
3.30.5-1.fc40
3.31.1-1.fc40
1
coreutils
9.4-8.fc40
9.4-9.fc40
2
cmake-rpm-macros
3.30.5-1.fc40
3.31.1-1.fc40
2
cmake-data
3.30.5-1.fc40
3.31.1-1.fc40
2
cmake-filesystem
3.30.5-1.fc40
3.31.1-1.fc40
2
systemd-libs
255.13-1.fc40
255.14-1.fc40
2
vim-filesystem
2:9.1.825-1.fc40
2:9.1.866-1.fc40
3
cups-libs
1:2.4.11-1.fc40
1:2.4.11-3.fc40
3
coreutils-common
9.4-8.fc40
9.4-9.fc40
3
nss
3.105.0-1.fc40
3.106.0-1.fc40
3
alsa-lib
1.2.12-1.fc40
1.2.13-3.fc40
3
cups-filesystem
1:2.4.11-3.fc40
4
nspr
4.35.0-30.fc40
4.36.0-1.fc40
4
nss-util
3.105.0-1.fc40
3.106.0-1.fc40
4
nss-sysinit
3.105.0-1.fc40
3.106.0-1.fc40
4
nss-softokn
3.105.0-1.fc40
3.106.0-1.fc40
4
fedora-release
40-39
40-40
B
fedora-release-identity-basic
40-39
40-40
B
nss-softokn-freebl
3.105.0-1.fc40
3.106.0-1.fc40
B
fedora-release-common
40-39
40-40
B