Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
cbmc
Epoch
None
Version
5.95.1
Release
5.fc41
Started
2024-09-23 10:20:02
Finished
2024-09-23 11:03:37
Koji repo
6461662
Koji tasks
complete
123822218
aarch64
├123822296
closed
ppc64le
├123822298
closed
x86_64
└123822297
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.2.1-
2
.fc42
14.2.1-
3
.fc42
1
libcurl
8.10.
0
-1.fc42
8.10.
1
-1.fc42
2
gcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
libstdc++
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
libarchive
3.7.4-3.
fc41
3.7.4-3.
fc42
2
python3
3.13.0~rc2-
1
.fc42
3.13.0~rc2-
3
.fc42
2
libgcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
libstdc++-devel
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
cpp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
glib2
2.82.
0
-1.fc42
2.82.
1
-1.fc42
3
python3-libs
3.13.0~rc2-
1
.fc42
3.13.0~rc2-
3
.fc42
3
libgomp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
libjpeg-turbo
3.0.
2
-3.fc41
3.0.
4
-1.fc42
4
curl
8.10.
0
-1.fc42
8.10.
1
-1.fc42
4
filesystem
3.18-
23
.fc41
3.18-
29
.fc42
4
python-pip-wheel
24.2-
1
.fc41
24.2-
2
.fc42
4
libpng
2:1.6.
40
-4.fc41
2:1.6.
44
-1.fc42
4
kernel-headers
6.11.0-
0
.rc7.56.fc42
6.11.0-
63
.fc42
4
shadow-utils
2:4.16.0-
3
.fc42
2:4.16.0-
4
.fc42
4
ghc-srpm-macros
1.9.
1
-2.fc41
1.9.
2
-1.fc42
B
fedora-repos
42-0.
1
42-0.
2
B
fedora-gpg-keys
42-0.
1
42-0.
2
B
fedora-repos-rawhide
42-0.
1
42-0.
2
B
libgfortran
14.2.1-
2
.fc42
14.2.1-
3
.fc42
B
gcc-plugin-annobin
14.2.1-
2
.fc42
14.2.1-
3
.fc42
B
libquadmath
14.2.1-
2
.fc42
14.2.1-
3
.fc42
B
show 16 more
collapse