--- layout: fc_discuss_archives title: Message 5 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 09/05/2014 21:01, Prashanth Mundkur wrote:
> 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?

It is now, sorry for the delay.

We had problems with one of our dependencies and, when solved, I forgot to pull-request the new package.

Have a nice "opam upgrade",

-- 
Fran?ois Bobot