--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on December 2010 ---
Hi, Le 15/12/2010 15:46, Boris Hollas a ?crit : > the frama-c site states that release Carbon 20101201 is available. The > link however points to 20101201 beta-1. Is Carbon still in beta state? This was a mistake: only beta-1 is available, even if it has not been announced. A Beta-2 will probably be published on friday. Cheers, Benjamin