OCamlPro/opam-repository — pull request #807 by vprevosto (2013-06-18 15:25:30+00:00)
Title: New version of Frama-C available

This patch provides a package for the latest Frama-C version, Fluorine-2 (largely copied from Frama-C Oxygen package).