rpms / frama-c

Clone
Source Code
GIT

2aa10f5 Update to Magnesium version.

Authored and Committed by jjames 8 years ago
raw patch tree parent
4 files changed. 49 lines added. 66 lines removed.
.gitignore
file modified
+10 -0
frama-c-why.patch
file removed
-29
frama-c.spec
file modified
+29 -27
sources
file modified
+10 -10 
    Update to Magnesium version.
    
    Also, drop unneeded -why patch.
file modified
+10 -0
file removed
-29
file modified
+29 -27
file modified
+10 -10
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.