Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
frama-c
Epoch
None
Version
28.1
Release
2.fc39
Started
2024-05-13 04:51:21
Finished
2024-05-13 05:20:35
Koji repo
6081425
Koji tasks
complete
117632830
aarch64
├117632927
closed
x86_64
└117632928
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.12.
2
-2.fc39
3.12.
3
-2.fc39
1
ocaml-why3-devel
1.7.
1
-1.fc39
1.7.
2
-1.fc39
1
why3
1.7.
1
-1.fc39
1.7.
2
-1.fc39
1
python3
3.12.
2
-2.fc39
3.12.
3
-2.fc39
2
vim-filesystem
2:9.1.
309
-1.fc39
2:9.1.
393
-1.fc39
2
ocaml-why3
1.7.
1
-1.fc39
1.7.
2
-1.fc39
2
python3-libs
3.12.
2
-2.fc39
3.12.
3
-2.fc39
2
annobin-plugin-gcc
12.
46
-1.fc39
12.
51
-1.fc39
3
forge-srpm-macros
0.
2
.0-3.fc39
0.
3
.1-1.fc39
3
annobin-docs
12.
46
-1.fc39
12.
51
-1.fc39
4
dbus-broker
35
-2.fc39
36
-2.fc39
B
show 1 more
collapse