--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on December 2008 ---
Dear Frama-C users, On behalf of the Frama-C team, it is my pleasure to announce the release of Frama-C Lithium, aka 20081201. As usual, it is available as source code and as windows binaries. Both are available at http://frama-c.cea.fr/download.html A list of the main changes with respect to the previous version is available at http://frama-c.cea.fr/Changelog.txt Many thanks for all the feedback you have sent about the beta version. For the Frama-C team, -- E tutto per oggi, a la prossima volta. Virgile Prevosto