--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on October 2009 ---
Maybe you add a note on http://frama-c.cea.fr/download.html that packages for Debian testing are available. On Thu, 01 Oct 2009 20:21:29 +0200, Mehdi Dogguy <mehdi at dogguy.org> wrote: > Boris Hollas a ?crit : >> I didn't notice that there's already a package for frama-c. Is it the >> Beryllium release that's in testing? >> > > Yes, it's Beryllium-1. I'll package Beryllium-2 as soon as (or so) Why > is released. > > Regards, >