--- layout: fc_discuss_archives title: Message 77 from Frama-C-discuss on April 2010 ---
On 04/13/2010 03:03 PM, Julien Signoles wrote: > Dear Frama-C users, > > The Frama-C team is proud to announce a new Frama-C release, namely > Boron-20100401. > Debian packages (Frama-C Boron, Why 2.25 and Ocamlgraph 1.4) have been updated. amd64 and i386 are already available. Other architectures are still building, or waiting for a free slot. I've modified a bit the Boron tarball (in Debian) to include the latest version of Aorai. The Ocamlgraph package has also the fix applied in Frama-c's ocamlgraph. Enjoy, -- Mehdi Dogguy ???? ????? http://dogguy.org/