rpms / frama-c

Clone
Source Code
GIT

56a03a7 Add misc fixes to get Silicon to build with OCaml 4.05.0.

Authored and Committed by rjones 6 years ago
raw patch tree parent
2 files changed. 106 lines added. 0 lines removed.
frama-c-Silicon-20161101-ocaml-4.05.0-fixes.patch
file added
+99
frama-c.spec
file modified
+7 -0 
    Add misc fixes to get Silicon to build with OCaml 4.05.0.
file added
+99
file modified
+7 -0
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.