--- layout: fc_discuss_archives title: Message 15 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.1 (Scandium) has been released!



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>