--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



On Wed, Sep 12, 2012 at 1:47 AM, Julien Signoles <Julien.Signoles at cea.fr> wrote:
> The next release of Frama-C, namely Oxygen, will be fully compatible with
> OCaml 4.00.0. Hopefully it will be release very soon.

I am glad to hear that.

> The patch seems to be correct.

Excellent.  Thanks for the confirmation, Julien.
-- 
Jerry James
http://www.jamezone.org/