Dear Ralf and Why3 users,
Thanks again for your continued work on packaging Alt-Ergo for Debian,
it is undoubtedly very useful for the Debian users and researchers who
need Alt-Ergo for their exploratory and research works.
As you may know, we launched the Alt-Ergo Users' Club
<https://alt-ergo.ocamlpro.com/#club> in February 2019 to help collect
the needs around Alt-Ergo, and help fund its maintenance. This should
also help us find research projects in which improving Alt-Ergo would be
relevant. The Club now solves the difficulty for us to balance fairly
our maintenance effort with external users' financial contribution. The
one-year delay free licensing did not prove sustainable, unfortunately.
Now the Club still allows, through membership levels, the integration
and modification of Alt-Ergo in commercial products by Club members
(again, with appropriate membership level). Let's hope closer ties with
us will prove to be attractive to other industrial Alt-Ergo Users.
Note that Alt-Ergo of course remains available for academic or
exploratory purpose under the OCamlPro non commercial license. This is
our way to replace the old model of automatically releasing a free
version of Alt-Ergo with a one-year delay. Alt-Ergo 2.0.0 free was
released in February 2019, and will remain the latest free version of
Alt-Ergo for the time being.
Regarding lablgtk2, we have no plan to switch for lablgtk3 in the near
future, this would require quite some time. *However if you hear of any
entity that would be ready to fund this work, do not hesitate tell them
to contact us. *In any case, Alt-Ergo can be available only in command
line if lablgtk2 is no longer supported by debian. What we still could
do is publish the version 2.0.0 free without the GUI and the need to
have lablgtk for the next stable release of Debian, tell us if you'd
like that.
Best,
- Albin Coquereau
On 06/03/2020 14:09, Ralf Treinen wrote:
Hello,
alt-ergo 2.2.0 was released under OCamlPro licence on Apr 21, 2018, and 2.3.0
on Feb 18, 2019. What are the plans for free releases of these versions
(or at least of 2.3.0)? It was my understanding that free releases would be
published 1 year after the OCamlPro-licenced releases.
Besides, are there any plans to move from lablgtk2 to lablgtk3?
It seems that lablgtk2 will not be published with the next stable release
of debian (bullseye), and its removal from debian testing is planned
for April. This was already planned for the release of the last debian
stable release (buster), but finally the decision had been taken to
release buster with lablgtk2.
-Ralf.
--
Albin Coquereau -- OCamlPro
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
