[Why3-club] Release of Alt-Ergo Free 2.0.0

Mohamed Iguernlala iguer.auto at gmail.com
Wed Feb 13 13:59:08 CET 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



More information about the Why3-club mailing list