--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on May 2014 ---
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