--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2013 ---
Dear Frama-C users, We are glad to announce a new minor release of Frama-C, named Fluorine-20130501. It is a bug-fixed release of Fluorine-20130401. For plug-in developers, this release is fully compatible with the previous one. ======== DOWNLOAD ======== You can download the release at http://frama-c.com/download.html . For now, that is a source tar-ball distribution. A OPAM package is going to be available in the next few days. ====== ENJOY! ====== Enjoy this release and please report any issue and/or successes with this version through the usual channels, listed at http://frama-c.com/support.html . For the Frama-C Development Team, Julien Signoles -- Researcher-engineer CEA LIST, Software Safety Labs tel:(+33)1.69.08.00.18 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr