--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on July 2008 ---
Dear Frama-C users, The Frama-C team is proud to announce the latest summer release of Frama-C: Helium 20080701. You may download it from http://frama-c.cea.fr/download.html. A godi package will be available very soon. New features as well as bug fixes are described in the Changelog (http://frama-c.cea.fr/Changelog.txt). Do not hesitate to post comments and remarks on the mailing list or even on the Bug Tracking System: https://gforge.inria.fr/tracker/?group_id=1123 Thanks to all bug reporters for helping us improving Frama-C. Cheers, -- Benjamin Monate