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
aarch64
├117632927 closed
x86_64
└117632928 closed

Build logs

aarch64
x86_64

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