[Why3-club] Release of Alt-Ergo 2.3.0

Ralf Treinen treinen at irif.fr
Wed Feb 13 08:55:27 CET 2019


Hello,

On Tue, Feb 12, 2019 at 09:09:06PM -0700, Jerry James wrote:
> On Tue, Feb 12, 2019 at 3:21 AM Mohamed Iguernlala <iguer.auto at gmail.com> wrote:
> > As usual, you can report bugs, ask questions, or give your
> > feedback regarding this version, or Alt-Ergo in general:
> > https://github.com/OCamlPro/alt-ergo/issues
> 
> With my Fedora packager hat on, I would like to know if you ever plan
> to release another version with a free license.  That is, once upon a
> time, older versions were re-released under the CeCILL-C license.
> Just wondering if we will ever see version 2.0 in Fedora.  Thank you,

yes, same here (debian). I recall that a free release of alt-ergo
was promised in November 2017 with a delay of ~1 year, see

https://lists.gforge.inria.fr/pipermail/why3-club/2017-November/001611.html

-Ralf.


More information about the Why3-club mailing list