rpms / frama-c

Clone
Source Code
GIT

3fe032a Update to Silicon version.

Authored and Committed by jjames 7 years ago
raw patch tree parent
4 files changed. 35 lines added. 117 lines removed.
.gitignore
file modified
+10 -10
frama-c-ocaml-4-04.patch
file removed
-73
frama-c.spec
file modified
+14 -23
sources
file modified
+11 -11 
    Update to Silicon version.
file modified
+10 -10
file removed
-73
file modified
+14 -23
file modified
+11 -11
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.