--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on September 2009 ---
Dear Frama-C users, The Frama-C team is proud to announce the second version of the Frama-C Beryllium release, namely Beryllium-20090902. That is mainly a bug-fix release. You can download it at http://frama-c.cea.fr/download.html. There are a source tar-ball and a Windows 32 bits binary auto-installer. The list of major changes is available at http://frama-c.cea.fr/Changelog.html. Jessie is not part anymore of the Frama-C distribution: it is now released within Why. A new version of why including the Frama-C plug-in Jessie should be released very soon. Whenever Why+Jessie is released, bundles containing Frama-C+Jessie will be available from the download page of the Frama-C website. Enjoy this release and do not hesitate to report any issue and/or success with this version through the usual channels. Best regards, for the Frama-C team, Julien Signoles