Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
cvc5
Epoch
None
Version
1.1.2
Release
2.fc40
Started
2024-06-29 15:32:33
Finished
2024-06-29 15:52:52
Koji repo
6216390
Koji tasks
failed
119779129
aarch64
├119779231
closed
ppc64le
├119779232
failed
x86_64
└119779233
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.1.1-
5
.fc40
14.1.1-
6
.fc40
1
libstdc++
14.1.1-
5
.fc40
14.1.1-
6
.fc40
2
gcc
14.1.1-
5
.fc40
14.1.1-
6
.fc40
2
libgcc
14.1.1-
5
.fc40
14.1.1-
6
.fc40
2
libstdc++-devel
14.1.1-
5
.fc40
14.1.1-
6
.fc40
2
libxml2
2.12.
7
-1.fc40
2.12.
8
-1.fc40
3
libquadmath-devel
14.1.1-
5
.fc40
14.1.1-
6
.fc40
3
libgomp
14.1.1-
5
.fc40
14.1.1-
6
.fc40
3
emacs-filesystem
1:29.
3
-6.fc40
1:29.
4
-3.fc40
3
cpp
14.1.1-
5
.fc40
14.1.1-
6
.fc40
3
annobin-plugin-gcc
12.
51
-1.fc40
12.
57
-1.fc40
4
kernel-headers
6.
8
.3-300.fc40
6.
9
.4-200.fc40
4
libgfortran
14.1.1-
5
.fc40
14.1.1-
6
.fc40
4
gcc-plugin-annobin
14.1.1-
5
.fc40
14.1.1-
6
.fc40
4
libquadmath
14.1.1-
5
.fc40
14.1.1-
6
.fc40
4
annobin-docs
12.
51
-1.fc40
12.
57
-1.fc40
B
glib2
2.80.
2
-1.fc40
2.80.
3
-1.fc40
B
show 7 more
collapse
