--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on February 2019 ---
Dear all, Alt-Ergo 2.0.0 becomes free (distributed under the terms of the Apache License 2.0). The website is updated accordingly: https://alt-ergo.ocamlpro.com/#releases and an OPAM package will be added soon: http://opam.ocaml.org/packages/alt-ergo-free/alt-ergo-free.2.0.0/ Note that we renamed this version to alt-ergo-free to avoid any confusion or clash with already existing packages. But, the installed binary is still called "alt-ergo". Best regards, - Mohamed. -- Senior R&D Engineer, OCamlPro SAS Research Associate, VALS team, LRI Webpage: http://www.iguer.xyz LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979