Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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]