--- layout: fc_discuss_archives title: Message 9 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 :
> 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/