--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on October 2009 ---
Dear Frama-C users, We have put online a source bundle containing both Frama-C-Beryllium-20090902 and Why-2.21 which contains the Frama-C plug-in Jessie. You can download it at http://frama-c.cea.fr/download.html. For now, there is no pre-compiled binary available for this bundle. Do not hesitate to report any issue and/or success with this bundle through the usual channels. Best regards, for the Frama-C team, Julien Signoles