Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
failed
Name
cbmc
Epoch
None
Version
6.4.1
Release
1.fc42
Started
2025-02-28 19:45:01
Finished
2025-02-28 20:23:33
Koji repo
6555127
Koji tasks
failed
129685573
aarch64
├129685606
closed
ppc64le
├129685605
closed
x86_64
└129685604
failed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
cmake
3
.31.5-1.fc42
4
.0.0~rc2-3.fc43
1
zlib-ng-compat-devel
2.2.4-
1
.fc43
2.2.4-
2
.fc43
1
gcc-c++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
1
glibc
2.41.9000-
1
.fc43
2.41.9000-
2
.fc43
2
jsoncpp
1.9.
5
-9.fc42
1.9.
6
-1.fc43
2
gcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
zlib-ng-compat
2.2.4-
1
.fc43
2.2.4-
2
.fc43
2
libstdc++
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
libstdc++-devel
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
cmake-rpm-macros
3
.31.5-1.fc42
4
.0.0~rc2-3.fc43
2
libarchive
3.7.7-
2
.fc42
3.7.7-
3
.fc43
2
libgcc
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
2
cmake-filesystem
3
.31.5-1.fc42
4
.0.0~rc2-3.fc43
2
cmake-data
3
.31.5-1.fc42
4
.0.0~rc2-3.fc43
2
glibc-gconv-extra
2.41.9000-
1
.fc43
2.41.9000-
2
.fc43
3
glibc-minimal-langpack
2.41.9000-
1
.fc43
2.41.9000-
2
.fc43
3
openssl-libs
1:3.2.4-
1
.fc43
1:3.2.4-
2
.fc43
3
glibc-common
2.41.9000-
1
.fc43
2.41.9000-
2
.fc43
3
rpm
4.20.
0
-8.fc42
4.20.
1
-1.fc43
3
zlib-ng
2.2.4-
1
.fc43
2.2.4-
2
.fc43
3
cpp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
glibc-devel
2.41.9000-
1
.fc43
2.41.9000-
2
.fc43
3
libgomp
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
3
suitesparse
7.
8
.3-1.fc42
7.
9
.0-1.fc43
3
coreutils
9.6-
1
.fc42
9.6-
2
.fc43
4
rpm-libs
4.20.
0
-8.fc42
4.20.
1
-1.fc43
4
libgfortran
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
rpm-build
4.20.
0
-8.fc42
4.20.
1
-1.fc43
B
debugedit
5.1-
4
.fc42
5.1-
5
.fc43
B
coreutils-common
9.6-
1
.fc42
9.6-
2
.fc43
B
libquadmath
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
fedora-release
43-0.
5
43-0.
6
B
gcc-plugin-annobin
15.0.1-0.
7
.fc43
15.0.1-0.
8
.fc43
B
fedora-release-identity-basic
43-0.
5
43-0.
6
B
fedora-release-common
43-0.
5
43-0.
6
B
rpm-build-libs
4.20.
0
-8.fc42
4.20.
1
-1.fc43
B
show 26 more
collapse
failed