--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on October 2009 ---
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, -- Mehdi Dogguy ???? ????? http://dogguy.org/