--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2



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/