--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on October 2010 ---
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>