--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on April 2010 ---
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