Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
cbmc
Epoch
None
Version
5.50.0
Release
2.fc37
Started
2023-01-20 06:57:14
Finished
2023-01-20 07:08:04
Koji repo
4982190
Koji tasks
failed
96406683
aarch64
├96406860
failed
ppc64le
├96406861
failed
x86_64
└96406859
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.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
1
cmake
3.25.
1
-3.fc38
3.25.
2
-1.fc38
1
z3
4.
11
.2-2.fc38
4.
12
.0-1.fc38
1
doxygen
2:1.9.6-
1
.fc38
2:1.9.6-
2
.fc38
1
cmake-rpm-macros
3.25.
1
-3.fc38
3.25.
2
-1.fc38
2
make
1:4.
3
-11.fc37
1:4.
4
-1.fc38
2
libstdc++
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
2
gcc
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
2
libstdc++-devel
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
2
vim-filesystem
2:9.0.
1182
-1.fc38
2:9.0.
1221
-1.fc38
2
cmake-filesystem
3.25.
1
-3.fc38
3.25.
2
-1.fc38
2
cmake-data
3.25.
1
-3.fc38
3.25.
2
-1.fc38
2
libgcc
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
2
systemtap-sdt-devel
4.8
~
pre16650659g6a096a7d-1.fc38
4.8
-
1.fc38
3
krb5-libs
1.20.1-
3
.fc38
1.20.1-
6
.fc38
3
libgomp
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
3
cpp
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
3
redhat-rpm-config
244
-1.fc38
245
-1.fc38
3
gcc-plugin-annobin
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
4
adobe-mappings-cmap-deprecated
20190730
-4.fc37
20230118
-1.fc38
4
adobe-mappings-cmap
20190730
-4.fc37
20230118
-1.fc38
4
libXpm
3.5.
14
-1.fc38
3.5.
15
-2.fc38
4
libgfortran
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
B
libquadmath
13.0.
0
-0.9.fc38
13.0.
1
-0.1.fc38
B
show 14 more
collapse
failed