[Why3-club] Release of Alt-Ergo 2.3.0

Mohamed Iguernlala iguer.auto at gmail.com
Wed Feb 13 11:14:37 CET 2019


Hello,

Yes ! we are working on this. It's a matter of days (or hours).

- Mohamed.

On 13/02/2019 08:55, Ralf Treinen wrote:
> 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