--- layout: fc_discuss_archives title: Message 9 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



Dear Frama-C and godi users,

Le mar. 13 avril 2010 15:03:17 CEST,
Julien Signoles <Julien.Signoles at cea.fr> a ?crit :

> For now, there is a source tar-ball distribution without the Jessie 

The godi package of Frama-C has been updated to Boron in the current
section (3.11). Note that the current why package is not compatible
with Boron. Users of Jessie should wait until the next why release,
which should occur pretty soon.

Regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile