Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.2.1
Release
5.fc43
Started
2025-05-24 14:39:49
Finished
2025-05-24 15:18:14
Koji repo
6577571
Koji tasks
complete
133150484
aarch64
├133150578
closed
ppc64le
├133150577
closed
x86_64
└133150579
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gcc-c++
15.1.1-
1
.fc43
15.1.1-
2
.fc43
1
libstdc++-devel
15.1.1-
1
.fc43
15.1.1-
2
.fc43
2
gcc
15.1.1-
1
.fc43
15.1.1-
2
.fc43
2
libstdc++
15.1.1-
1
.fc43
15.1.1-
2
.fc43
2
libgcc
15.1.1-
1
.fc43
15.1.1-
2
.fc43
2
less
668
-2.fc42
678
-1.fc43
2
cpp
15.1.1-
1
.fc43
15.1.1-
2
.fc43
3
libgomp
15.1.1-
1
.fc43
15.1.1-
2
.fc43
3
libquadmath-devel
15.1.1-
1
.fc43
15.1.1-
2
.fc43
3
libquadmath
15.1.1-
1
.fc43
15.1.1-
2
.fc43
4
libgfortran
15.1.1-
1
.fc43
15.1.1-
2
.fc43
4
gcc-plugin-annobin
15.1.1-
1
.fc43
15.1.1-
2
.fc43
4
show 2 more
collapse
