rpms / frama-c

Clone
Source Code
GIT

a239338 Rebuild for coq 8.4pl1 and alt-ergo 0.95.

Authored and Committed by Jerry James 11 years ago
raw patch tree parent
1 file changed. 7 lines added. 4 lines removed.
frama-c.spec
file modified
+7 -4 
    Rebuild for coq 8.4pl1 and alt-ergo 0.95.
file modified
+7 -4
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.