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

[Frama-c-discuss] Fedora 13 and 14



Hello

We have developed a Fedora 13 and 14 package of frama-c boron.  We also have
an integrated why package that should be available in a couple of weeks.
The why package is operational but it takes time to get it into the fedora
system.

Mark Rader
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101010/b23e2406/attachment.htm>