--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on May 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Bug-fixed release: Fluorine 2



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