--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on September 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 19.1 (Potassium) is out



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>