---
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
- Subject: [Frama-c-discuss] Frama-C Release Neon-20140301
- From: pmundkur.fm at gmail.com (Prashanth Mundkur)
- Date: Fri, 9 May 2014 12:01:27 -0700
- In-reply-to: <53209797.5010909@cea.fr>
- References: <53209797.5010909@cea.fr>
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