--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on September 2019 ---
Hello, it is a pleasure for us to celebrate the 50th anniversary of the Beatles' Abbey Road album by announcing the release of Frama-C 19.1. This release merely restores compatibility with OCaml 4.08.1 (and the new 4.09.0), and fixes a few issues with lablgtk3. For the reasons stated in https://github.com/ocaml/ocaml/issues/8816, use of 4.08.0 to compile Frama-C is discouraged (if you don't use frama-c.byte or frama-c-gui.byte it should be fine, though). If you're using OCaml < 4.08 and lablgtk2, there is no need to upgrade. As usual, you can download the sources at http://frama-c.com/download.html or https://github.com/Frama-C/Frama-C-snapshot/releases/tag/19.1 and report any issue at https://github.com/Frama-C/Frama-C-snapshot/issues Opam package will be updated soon. Best regards, -- E tutto per oggi, a la prossima volta Virgile -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190926/85c9d29b/attachment.html>