--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on September 2013 ---
2013/9/11 Virgile Prevosto <virgile.prevosto at m4x.org>: > I wouldn't be so pessimistic. Even though the page is indeed all but > clear, it seems to indicate that the latest packaged version of OCaml > is 3.12.1, and this is probably what is shipped on an up-to-date > system. Indeed, all versions of Ubuntu except Lucid are using OCaml 3.12.1: http://packages.ubuntu.com/search?keywords=ocaml Best regards, d.