--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on June 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 21 (Scandium) has been released!



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]