--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on December 2014 ---
Dear Alt-Ergo users, I'm pleased to announce a new public release of Alt-Ergo (version 0.99.1). It is available on our website at: http://alt-ergo.ocamlpro.com and soon on OPAM repository. Best regards, Mohamed Iguernelala. -- Senior R&D Engineer, OCamlPro Research Associate, VALS team, LRI. http://www.iguer.info