--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on August 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] windows version of carbon?



Hello,

On Tue, Aug 30, 2011 at 4:53 PM, Wendell Turner
<wendell at jma-solutions.com>wrote:

>
> Is there a windows installer version of Frama-C Carbon?
>

Yes, but this installer is too large to be distributed.


> Is there a Linux package/rpm for that version?
>

Both Fedora and Debian have packaged Frama-C Carbon 20110201.
Please look inside the package repository for your distribution.
Fedora uses a different numbering scheme from ours. Surely the
conversion information is provided somewhere. I do not know about it.

Best regards,

Pascal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110830/601e8250/attachment.htm>