Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
29.0
Release
1.fc40
Started
2024-10-22 04:58:20
Finished
2024-10-22 05:20:58
Koji repo
6526372
Koji tasks
complete
125078832
aarch64
├125078902
closed
x86_64
└125078901
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.12.
6
-1.fc40
3.12.
7
-1.fc40
1
z3
4.13.
2
-1.fc40
4.13.
3
-1.fc40
1
python3-libs
3.12.
6
-1.fc40
3.12.
7
-1.fc40
2
pyproject-rpm-macros
1.15.
0
-1.fc40
1.15.
1
-1.fc40
2
systemd-libs
255.
12
-1.fc40
255.
13
-1.fc40
2
libarchive
3.7.2-
4
.fc40
3.7.2-
7
.fc40
2
python3
3.12.
6
-1.fc40
3.12.
7
-1.fc40
2
vim-filesystem
2:9.1.
719
-1.fc40
2:9.1.
785
-1.fc40
2
adobe-mappings-cmap
20230622
-3.fc40
20231115
-1.fc40
3
libtirpc
1.3.
5
-0.fc40
1.3.
6
-0.fc40
3
adobe-mappings-cmap-deprecated
20230622
-3.fc40
20231115
-1.fc40
3
cups-libs
1:2.4.
10
-7.fc40
1:2.4.
11
-1.fc40
3
pyproject-srpm-macros
1.15.
0
-1.fc40
1.15.
1
-1.fc40
3
crypto-policies
20240725
-1.git28d3e2d....
20241011
-1.git5930b9a....
3
nss
3.
104
.0-1.fc40
3.
105
.0-1.fc40
4
kernel-headers
6.
10
.3-200.fc40
6.
11
.3-200.fc40
4
authselect-libs
1.5.0-
5
.fc40
1.5.0-
6
.fc40
4
nspr
4.35.0-
29
.fc40
4.35.0-
30
.fc40
4
gdb-minimal
15.
1
-1.fc40
15.
2
-1.fc40
4
shadow-utils
2:4.15.1-
3
.fc40
2:4.15.1-
4
.fc40
B
nss-util
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
crypto-policies-scripts
20240725
-1.git28d3e2d....
20241011
-1.git5930b9a....
B
authselect
1.5.0-
5
.fc40
1.5.0-
6
.fc40
B
nss-softokn-freebl
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
nss-sysinit
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
nss-softokn
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
show 16 more
collapse
complete