Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cvc5
Epoch
None
Version
1.1.2
Release
5.fc41
Started
2024-09-16 06:25:53
Finished
2024-09-16 06:55:40
Koji repo
6435168
Koji tasks
complete
123467903
aarch64
├123467988
closed
ppc64le
├123467992
closed
x86_64
└123467991
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++
14.2.1-
2
.fc42
14.2.1-
3
.fc42
1
kissat-devel
4.0.
0
-1.fc41
4.0.
1
-1.fc42
1
libgcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
libstdc++-devel
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
gcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
libstdc++
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
kissat-libs
4.0.
0
-1.fc41
4.0.
1
-1.fc42
2
libquadmath-devel
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
cpp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
libgomp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
gnutls
3.8.7-
2
.fc42
3.8.7-
4
.fc42
4
shadow-utils
2:4.16.0-
2
.fc42
2:4.16.0-
3
.fc42
4
libgfortran
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
gcc-plugin-annobin
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
libquadmath
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
kernel-headers
6.11.0-
0
.rc7.56.fc42
6.11.0-
63
.fc42
4
show 6 more
collapse
