--- layout: fc_discuss_archives title: Message 77 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Release Frama-C Boron



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/