--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on October 2009 ---
Boris Hollas a ?crit : > Maybe you add a note on http://frama-c.cea.fr/download.html that packages > for Debian testing are available. > I cannot do that (Don't have write access). But, maybe the authors can do that if they want to advertise the fact that there are updated Debian packages for frama-c (there will be even Ubuntu packages too, but older ones). Any feedback on those packages is also welcome. Regards, -- Mehdi Dogguy ???? ????? http://dogguy.org/