--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2020 ---
Dear list, it is a pleasure for us to celebrate the 452th anniversary of Queen Gunilla of Sweden, in Scandinavia, by announcing the release of Frama-C 21.1 (Scandium). This minor release fixes a few issues in WP. As usual, you can download the sources at http://frama-c.com/download.html or https://git.frama-c.com/pub/frama-c/-/wikis/Frama-C-21.1-Scandium <https://github.com/Frama-C/Frama-C-snapshot/releases/tag/19.1> and report any issue at https://git.frama-c.com/pub/frama-c/-/issues. An opam package will be available soon. Best regards, -- 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/20200625/c927939f/attachment.html>