Fri, 30 Oct 2026 18:17:06 UTC Log in

frama-c

ID 223701 build2 tags

Builds

NVR Built by Finished descending sort State
frama-c-33.0-3.fc45 guoguo 2026-10-29 17:41:04 failed
Builds 1–1 of 1

Package

Name
frama-c
ID
22370

Tags

Name ascending sort Owner Included? Extra Arches
f44 kojiadmin yes -
f45 kojiadmin yes -
Tags 1–2 of 2