--- layout: fc_discuss_archives title: Message 118 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Lithium beta 1 release



Dear Frama-C users,

The Frama-C team is proud to announce the Lithium 20081002+beta1 version 
of Frama-C.
You will find a source version, a Win32 binary version together with a 
Changelog on
  http://frama-c.cea.fr/download.html.

The content of the web site has been updated.
Browse to
  http://frama-c.cea.fr
for more informations.

As always do not hesitate to comment and report bugs on this release.

Thanks again to all bug reporters!
-- 
Benjamin Monate for the Frama-C team