Build details

Build information

State
complete
Name
cvc5
Epoch
None
Version
1.2.1
Release
2.fc42
Started
2025-03-21 15:44:39
Finished
2025-03-21 16:22:58
Koji repo
6562715

Koji tasks

complete
aarch64
├130567908 closed
ppc64le
├130567907 closed
x86_64
└130567906 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

git-core
2.48.1-3.fc42
2.49.0-1.fc42
1
yosyshq-abc-devel
0.51-1.20250313git...
0.46-2.20241011git...
1
rpm-build
4.20.0-8.fc42
4.20.1-1.fc42
2
expat
2.6.4-2.fc42
2.7.0-1.fc42
2
yosyshq-abc-libs
0.51-1.20250313git...
0.46-2.20241011git...
2
zlib-ng-devel
2.2.3-2.fc42
2.2.4-1.fc42
2
zlib-ng-compat
2.2.3-2.fc42
2.2.4-1.fc42
2
openssh-clients
9.9p1-7.fc42
9.9p1-9.fc42
2
openssh
9.9p1-7.fc42
9.9p1-9.fc42
3
rpm
4.20.0-8.fc42
4.20.1-1.fc42
3
vim-filesystem
2:9.1.1169-1.fc42
2:9.1.1202-1.fc42
3
zlib-ng
2.2.3-2.fc42
2.2.4-1.fc42
3
rpm-build-libs
4.20.0-8.fc42
4.20.1-1.fc42
3
rpm-libs
4.20.0-8.fc42
4.20.1-1.fc42
3
python3-numpy
1:2.2.3-1.fc42
1:2.2.4-1.fc42
4
kernel-headers
6.14.0-0.rc6.49.fc42
6.14.0-0.rc7.56.fc42
4
glib2
2.83.5-1.fc42
2.84.0-1.fc42
B
python3-numpy-f2py
1:2.2.3-1.fc42
1:2.2.4-1.fc42
B