frama-c | Package Info | koji

Information for package frama-c

Name

frama-c

ID

19634

Builds

NVR	Built by	Finished	State
1 through 1 of 1
frama-c-30.0-6.rvre0.fc42	davidlt	2025-06-09 16:15:46

Builds 1 through 1 of 1

Name	Owner	Included?	Extra Arches
1 through 1 of 1
f42	davidlt

Tags 1 through 1 of 1