--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on December 2010 ---
Hello, 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? -- Best regards, Boris Hollas