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 State ascending sort
frama-c-29.0-1.fc41 kojiadmin 2024-06-15 11:09:39 failed
frama-c-28.1-4.fc41 kojiadmin 2024-06-07 02:13:21 failed
frama-c-28.1-3.fc41 kojiadmin 2024-05-30 16:50:37 failed
frama-c-28.1-3.fc40 kojiadmin 2024-06-08 07:14:07 failed
Builds 1 through 4 of 4
Tags
1 through 4 of 4
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
Tags 1 through 4 of 4