--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2009 ---
Dear Frama-C users, The Frama-C team is proud to unleash the final Beryllium Frama-C release. You can download it at http://frama-c.cea.fr/download.html There is 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.txt Enjoy this release and do not hesitate to report any issue and/or success with this version through the usual channels. Cheers, -- Benjamin Monate for the Frama-C team.