--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on May 2013 ---
I plan to build the Fluorine release of Frama-C for the Fedora Linux distribution soon. I have collected the post-release fixes I have seen on this mailing list into the attached patch. Are there any other fixes I should add before building for Fedora? Thank you, Frama-C developers, for this release. Regards, -- Jerry James http://www.jamezone.org/ -------------- next part -------------- A non-text attachment was scrubbed... Name: frama-c-fixes.patch Type: application/octet-stream Size: 8469 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130514/19310e91/attachment-0001.obj>