Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
2.fc40
Started
2024-10-19 01:48:22
Finished
2024-10-19 02:18:20
Koji repo
6525812
Koji tasks
complete
124969928
aarch64
├124970002
closed
ppc64le
├124970000
closed
x86_64
└124970001
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-pip
23.3.2-
1
.fc40
23.3.2-
2
.fc40
1
python3-devel
3.12.
6
-1.fc40
3.12.
7
-1.fc40
1
yosyshq-abc-devel
0.
45
-1.20240905git...
0.
46
-1.20241011git...
1
git-core
2.
46
.2-1.fc40
2.
47
.0-1.fc40
1
python3
3.12.
6
-1.fc40
3.12.
7
-1.fc40
2
libarchive
3.7.2-
4
.fc40
3.7.2-
7
.fc40
2
python3-libs
3.12.
6
-1.fc40
3.12.
7
-1.fc40
2
yosyshq-abc-libs
0.
45
-1.20240905git...
0.
46
-1.20241011git...
2
libuv
1:1.49.
0
-1.fc40
1:1.49.
1
-1.fc40
2
systemd-libs
255.
12
-1.fc40
255.
13
-1.fc40
2
vim-filesystem
2:9.1.
719
-1.fc40
2:9.1.
785
-1.fc40
3
cups-libs
1:2.4.
10
-7.fc40
1:2.4.
11
-1.fc40
3
python-pip-wheel
23.3.2-
1
.fc40
23.3.2-
2
.fc40
3
libuuid
2.40.
1
-1.fc40
2.40.
2
-1.fc40
3
kernel-headers
6.
10
.3-200.fc40
6.
11
.3-200.fc40
4
util-linux
2.40.
1
-1.fc40
2.40.
2
-1.fc40
4
ansible-srpm-macros
1-
14
.fc40
1-
16
.fc40
4
xxhash-libs
0.8.2-
2
.fc40
0.8.2-
4
.fc40
4
libblkid
2.40.
1
-1.fc40
2.40.
2
-1.fc40
B
shadow-utils
2:4.15.1-
3
.fc40
2:4.15.1-
4
.fc40
B
libsmartcols
2.40.
1
-1.fc40
2.40.
2
-1.fc40
B
libmount
2.40.
1
-1.fc40
2.40.
2
-1.fc40
B
libfdisk
2.40.
1
-1.fc40
2.40.
2
-1.fc40
B
util-linux-core
2.40.
1
-1.fc40
2.40.
2
-1.fc40
B
show 14 more
collapse
