--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on May 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C Release Neon-20140301



On 18:21 Wed 12 Mar, Fran?ois Bobot wrote:
> Dear Frama-C users,
>
> We are glad to announce a new major release of Frama-C, named
> Neon-20140301.

Any idea when this will be available in opam?

Thanks,

--prashanth