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 2 of 2
NVR Built by Finished descending sort State
frama-c-28.1-3.fc40 kojiadmin 2024-05-17 15:56:55 failed
frama-c-28.1-3.fc41 kojiadmin 2024-05-16 00:50:01 failed
Builds 1 through 2 of 2
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