--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on May 2013 ---
Hello, On 05/14/2013 04:59 PM, Jerry James wrote: > 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. Many thanks for planning this. Are there any > other fixes I should add before building for Fedora? We have few unpublished additional fixes. It is possible to make them public as additional patches. But we plan to release a bug-fixed version of Fluorine in a few days. Thus it could be better to wait this release before building Frama-C for Fedora. -- Julien