--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on February 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Release of Alt-Ergo Free 2.0.0



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