Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
cvc4
Epoch
None
Version
1.8
Release
19.fc39
Started
2023-07-29 23:06:41
Finished
2023-07-29 23:14:15
Koji repo
5294265
Koji tasks
failed
104114805
aarch64
├104114817
failed
ppc64le
├104114818
failed
x86_64
└104114819
failed
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++
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
1
symfpu-devel
0-0.
14
.20190517...
0-0.
15
.20190517...
1
drat-trim-devel
0-0.
20
.20221019...
0-0.
21
.20230709...
1
cadical-devel
1:1.
5
.3-3.fc39
1:1.
7
.0-1.fc39
1
lfsc-devel
0.
20210305
-6.fc39
0.
20230523
-1.fc39
1
libquadmath-devel
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
2
libstdc++
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
2
cadical-libs
1:1.
5
.3-3.fc39
1:1.
7
.0-1.fc39
2
libgcc
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
2
libstdc++-devel
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
2
gcc
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
2
drat-trim
0-0.
20
.20221019...
0-0.
21
.20230709...
2
lfsc
0.
20210305
-6.fc39
0.
20230523
-1.fc39
2
symfpu
0-0.
14
.20190517...
0-0.
15
.20190517...
2
libquadmath
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
3
libgomp
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
3
cpp
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
3
gcc-plugin-annobin
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
B
systemd-libs
254
~
rc3-1.fc39
254
-
1.fc39
B
libgfortran
13.
1
.1-4.fc39.1
13.
2
.1-1.fc39
B
show 10 more
collapse
