Le 08/12/2013 11:58, Pascal Cuoq a écrit : > Note that a patch to Frama-C Fluorine3 20130601 to make it compile with > OCaml 4.01 is available > from > https://github.com/vprevosto/opam-repository/blob/master/packages/frama-c.20130601/files/4.01-compat.patch
Great, thanks for the pointer. Cheers, -- Stéphane -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
