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



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,
>