fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for package frama-c

Nameframa-c
ID3148
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Builds
1 through 4 of 4
NVR Built by Finished descending sort State
frama-c-29.0-1.fc41 kojiadmin 2024-06-07 08:55:03 failed
frama-c-28.1-4.fc41 kojiadmin 2024-06-07 02:13:21 failed
frama-c-28.1-3.fc40 kojiadmin 2024-06-05 05:45:46 failed
frama-c-28.1-3.fc41 kojiadmin 2024-05-30 16:50:37 failed
Builds 1 through 4 of 4
Tags
1 through 4 of 4
Name Owner Included? ascending sort Extra Arches
f40 kojiadmin yes
f41 kojiadmin yes
f39 kojiadmin yes
f38 kojiadmin yes
Tags 1 through 4 of 4