--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on June 2020 ---
Thanks for reporting, we are working on fixing it. In the meanwhile, the changes are also accessible via the Frama-C pub wiki <https://git.frama-c.com/pub/frama-c/-/wikis/Frama-C-21.0-Scandium> page, which contains links to the 3 changelogs: - WP: https://git.frama-c.com/pub/frama-c/-/blob/21.0/src/plugins/wp/Changelog - E-ACSL: https://git.frama-c.com/pub/frama-c/-/blob/21.0/src/plugins/e-acsl/doc/Changelog - Main changelog (kernel, GUI, Eva, ...): https://git.frama-c.com/pub/frama-c/-/blob/21.0/Changelog On 12/06/2020 13:40, Tomas Härdin wrote: > 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] > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss -- André Maroneze Researcher/Engineer CEA/List Software Reliability and Security Laboratory -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200612/ce85138f/attachment.html>