Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.2.1
Release
3.fc43
Started
2025-03-24 16:17:49
Finished
2025-03-24 16:50:30
Koji repo
6563401
Koji tasks
complete
130698659
aarch64
├130698775
closed
ppc64le
├130698774
closed
x86_64
└130698773
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
javapackages-tools
6.4.0-
5
.fc42
6.4.0-
6
.fc43
1
pyproject-rpm-macros
1.
17
.0-1.fc43
1.
18
.1-1.fc43
1
python3-pip
24
.3.1-2.fc42
25
.0.1-3.fc43
1
openssl-libs
1:3.
2
.4-3.fc43
1:3.
5
.0-1.fc43
2
pyproject-srpm-macros
1.
17
.0-1.fc43
1.
18
.1-1.fc43
2
openssh-clients
9.9p1-
13
.fc43
9.9p1-
14
.fc43
2
javapackages-filesystem
6.4.0-
5
.fc42
6.4.0-
6
.fc43
2
mpfr
4.2.
1
-6.fc42
4.2.
2
-1.fc43
2
openssh
9.9p1-
13
.fc43
9.9p1-
14
.fc43
3
setup
2.15.0-
14
.fc43
2.15.0-
23
.fc43
3
vim-filesystem
2:9.1.
1202
-1.fc43
2:9.1.
1227
-1.fc43
3
python-pip-wheel
24
.3.1-2.fc42
25
.0.1-3.fc43
3
fedora-release
43-0.
7
43-0.
8
4
shadow-utils
2:4.17.
0
-4.fc42
2:4.17.
4
-1.fc43
4
fedora-release-identity-basic
43-0.
7
43-0.
8
B
fedora-release-common
43-0.
7
43-0.
8
B
harfbuzz
10
.4.0-1.fc43
11
.0.0-1.fc43
B
show 7 more
collapse
complete