--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on October 2009 ---
Boris Hollas wrote: > > This does not happen on Debian testing. I just compiled Beryllium on > testing and everything works :) I'm glad that it finally worked because > I'm going to give a talk on program verification tomorrow. > Why don't you install frama-c from Debian testing directly? Is there something missing for you? Regards, -- Mehdi Dogguy ???? ????? http://dogguy.org/