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

Information for package cbmc

Namecbmc
ID1546
Builds
1 through 5 of 5
NVR Built by Finished descending sort State
cbmc-6.4.1-3.fc42 kojiadmin 2025-06-16 12:29:46 complete
cbmc-6.4.1-2.fc42 kojiadmin 2025-03-07 08:59:25 complete
cbmc-5.95.1-5.fc41 kojiadmin 2024-09-06 00:37:56 complete
cbmc-5.95.1-4.fc41 kojiadmin 2024-05-07 11:15:50 complete
cbmc-5.95.1-4.fc40 kojiadmin 2024-05-05 07:38:35 complete
Builds 1 through 5 of 5
Tags
1 through 5 of 5
Name ascending sort Owner Included? Extra Arches
f38 kojiadmin yes
f39 kojiadmin yes
f40 kojiadmin yes
f41 kojiadmin yes
f42 kojiadmin yes
Tags 1 through 5 of 5