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-01-17 01:20:35
Finished
2025-01-17 01:59:18
Koji repo
6543780
Koji tasks
failed
127971409
aarch64
├127971507
closed
ppc64le
├127971505
closed
x86_64
└127971506
failed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git
2.48.
0
-1.fc42
2.48.
1
-1.fc42
1
glpk-devel
5.0-
12
.fc41
5.0-
13
.fc42
1
gcc-c++
14
.2.1-6.fc42
15
.0.1-0.3.fc42
1
gcc
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
git-core
2.48.
0
-1.fc42
2.48.
1
-1.fc42
2
libstdc++-devel
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
perl-Git
2.48.
0
-1.fc42
2.48.
1
-1.fc42
2
git-core-doc
2.48.
0
-1.fc42
2.48.
1
-1.fc42
2
libstdc++
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
libgcc
14
.2.1-6.fc42
15
.0.1-0.3.fc42
2
glpk
5.0-
12
.fc41
5.0-
13
.fc42
2
libuuid
2.40.
2
-9.fc42
2.40.
4
-1.fc42
3
libgomp
14
.2.1-6.fc42
15
.0.1-0.3.fc42
3
filesystem
3.18-
30
.fc42
3.18-
34
.fc42
3
libtool-ltdl
2.5.4-
2
.fc42
2.5.4-
3
.fc42
3
zlib-ng
2.2.3-1.fc42
3
cpp
14
.2.1-6.fc42
15
.0.1-0.3.fc42
3
rpm
4.20.0-
5
.fc42
4.20.0-
6
.fc42
3
libxcrypt
4.4.
37
-6.fc42
4.4.
38
-3.fc42
3
libxcrypt-devel
4.4.
37
-6.fc42
4.4.
38
-3.fc42
4
openjpeg
2.5.3-
3
.fc42
2.5.3-
4
.fc42
4
libmount
2.40.
2
-9.fc42
2.40.
4
-1.fc42
4
sqlite-libs
3.47.2-
1
.fc42
3.47.2-
2
.fc42
4
flexiblas-netlib
3.4.4-
5
.fc42
3.4.4-
6
.fc42
4
fonts-filesystem
1:2.0.5-
17
.fc41
1:2.0.5-
19
.fc42
4
rpm-libs
4.20.0-
5
.fc42
4.20.0-
6
.fc42
4
fedora-gpg-keys
42-0.
3
42-0.
4
B
util-linux
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
flexiblas
3.4.4-
5
.fc42
3.4.4-
6
.fc42
B
fedora-repos
42-0.
3
42-0.
4
B
libsmartcols
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
annobin-plugin-gcc
12.
80
-1.fc42
12.
81
-1.fc42
B
libfdisk
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
libgfortran
14
.2.1-6.fc42
15
.0.1-0.3.fc42
B
rpm-build
4.20.0-
5
.fc42
4.20.0-
6
.fc42
B
libblkid
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
filesystem-srpm-macros
3.18-
30
.fc42
3.18-
34
.fc42
B
libquadmath
14
.2.1-6.fc42
15
.0.1-0.3.fc42
B
debugedit
5.1-
2
.fc42
5.1-
4
.fc42
B
fedora-repos-rawhide
42-0.
3
42-0.
4
B
gcc-plugin-annobin
14
.2.1-6.fc42
15
.0.1-0.3.fc42
B
util-linux-core
2.40.
2
-9.fc42
2.40.
4
-1.fc42
B
fonts-srpm-macros
1:2.0.5-
17
.fc41
1:2.0.5-
19
.fc42
B
avahi-libs
0.
8
-30.fc42
0.
9
~rc2-2.fc42
B
rpm-build-libs
4.20.0-
5
.fc42
4.20.0-
6
.fc42
B
flexiblas-openblas-openmp
3.4.4-
5
.fc42
3.4.4-
6
.fc42
B
libusb1
1.0.27-
5
.fc42
1.0.27-
6
.fc42
B
annobin-docs
12.
80
-1.fc42
12.
81
-1.fc42
B
show 38 more
collapse
failed