[Why3-club] Release of Alt-Ergo 2.3.0
iguer.auto at gmail.com
Wed Feb 13 11:14:37 CET 2019
Yes ! we are working on this. It's a matter of days (or hours).
On 13/02/2019 08:55, Ralf Treinen wrote:
> 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:
>> 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
More information about the Why3-club