[Why3-club] Release of Alt-Ergo 2.3.0

Jerry James loganjerry at gmail.com
Wed Feb 13 05:09:06 CET 2019

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,
Jerry James

More information about the Why3-club mailing list