Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
29.0
Release
3.fc41
Started
2024-07-02 18:56:31
Finished
2024-07-02 19:18:42
Koji repo
6223121
Koji tasks
complete
119911385
aarch64
├119911470
closed
ppc64le
├119911471
closed
x86_64
└119911472
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.13.0~b3-
1
.fc41
3.13.0~b3-
2
.fc41
1
gcc-c++
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
libstdc++
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
libselinux
3.
6
-6.fc41
3.
7
-1.fc41
2
python3
3.13.0~b3-
1
.fc41
3.13.0~b3-
2
.fc41
2
libgccjit
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
python3-libs
3.13.0~b3-
1
.fc41
3.13.0~b3-
2
.fc41
2
gcc
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
libstdc++-devel
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
libgcc
14.1.1-
6
.fc41
14.1.1-
7
.fc41
2
libarchive
3.7.4-
1
.fc41
3.7.4-
2
.fc41
2
libgomp
14.1.1-
6
.fc41
14.1.1-
7
.fc41
3
cpp
14.1.1-
6
.fc41
14.1.1-
7
.fc41
3
libquadmath
14.1.1-
6
.fc41
14.1.1-
7
.fc41
3
annobin-plugin-gcc
12.
59
-1.fc41
12.
60
-1.fc41
3
gc
8.2.
2
-6.fc40
8.2.
6
-1.fc41
3
libsepol
3.
6
-3.fc40
3.
7
-1.fc41
3
openssl-libs
1:3.2.2-
2
.fc41
1:3.2.2-
3
.fc41
3
build-reproducibility-srpm-macros
0.3.
2
-1.fc41
0.3.
3
-1.fc41
3
gcc-plugin-annobin
14.1.1-
6
.fc41
14.1.1-
7
.fc41
3
libgfortran
14.1.1-
6
.fc41
14.1.1-
7
.fc41
3
libselinux-devel
3.
6
-6.fc41
3.
7
-1.fc41
4
kernel-headers
6.10.0-0.
rc5
.43.fc41
6.10.0-0.
rc6
.50.fc41
4
annobin-docs
12.
59
-1.fc41
12.
60
-1.fc41
4
pam-libs
1.6.1-
3
.fc41
1.6.1-
4
.fc41
4
pam
1.6.1-
3
.fc41
1.6.1-
4
.fc41
4
authselect-libs
1.5.0-
5
.fc41
1.5.0-
6
.fc41
4
add-determinism
0.3.
2
-1.fc41
0.3.
3
-1.fc41
4
authselect
1.5.0-
5
.fc41
1.5.0-
6
.fc41
B
libsemanage
3.
6
-4.fc41
3.
7
-1.fc41
B
libsepol-devel
3.
6
-3.fc40
3.
7
-1.fc41
B
show 21 more
collapse
complete