--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on June 2020 ---
Hi Cool! The "Plugin WP" section seems to have some kind of markup problem where it doesn't become a bullet list properly /Tomas fre 2020-06-12 klockan 08:49 +0200 skrev Andre Maroneze: > Dear list, > > It is with utmost pleasure that we celebrate the 155 years of the Battle > of the Riachuelo by announcing the release of *Frama-C 21.0 (Scandium)*. > > A complete changelog can be found at: http://frama-c.com/changelog.html > Sources and manuals are available at: http://frama-c.com/download.html > > The new opam package is already available : run `opam update && opam > install frama-c.21.0` to upgrade. > > The release is also available in our public Gitlab repository: > https://git.frama-c.com/pub/frama-c/-/releases > > (As a reminder, the Github snapshot repository is no longer being updated.) > > Note that this is the last Frama-C release compatible with OCaml < > 4.08.1; Frama-C 22 (Titanium) will require OCaml >= 4.08.1. > > [snip]