--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on April 2011 ---
Sorry for the typo. WP 0.4 does not exists yet. Correct sentence is : "The WP 0.3 version requires Frama-C Carbon-20120201" Le 13 avr. 11 ? 15:27, Boris Hollas a ?crit : > On Wed, 2011-04-13 at 15:08 +0200, Lo?c Correnson wrote: >> The WP 0.3 version is a slightly modified version of the one >> distributed with Frama-C Carbon-beta 2, see Changelog for details. >> The WP 0.4 version requires Frama-C Carbon-20120201. > > Is 0.3 a newer version than the one previously distributed with > Frama-C > Carbon? Is WP 0.4 available for download? The download page gives a > link > to WP 0.3 only. > -- > Best regards, > Boris > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss