Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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