Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Building Fluorine for Fedora

On Wed, May 15, 2013 at 2:02 AM, Julien Signoles <Julien.Signoles at> wrote:
> 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.

I will do so.  Thanks for the reply, Julien.
Jerry James