Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

Dear Why3 users, As discussed with our users and both our academic and industrial partners, we are pleased to announce the new release of Alt-Ergo free. Alt-Ergo 2.2.0 is now under the Apache license (details of this license can be found on the following link: https://www.apache.org/licenses/L

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

Hi François, Alt-Ergo 2.0.0 is the latest version with free licensing for Alt-Ergo. It's available on opam under the name `alt-ergo-free`. For the time being, this package will stay synced with the Alt-Ergo 2.0.0 version. Since the availability of our tool under free licensing is important to

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

Le 23/03/2020 à 18:41, Mohamed Iguernlala a écrit : > AFAIK, opam doesn't impose any licensing restrictions to add/publish a > new package :-) Of course but in the past the open-source version of alt-ergo was readded to opam with the new license. So you are not going to upload as before also in

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

AFAIK, opam doesn't impose any licensing restrictions to add/publish a new package :-) Regards, - Mohamed. On 23/03/2020 18:21, François Bobot wrote: Le 19/03/2020 à 17:14, Albin Coquereau a écrit : Note that Alt-Ergo of course remains available for academic or exploratory purpose under th

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

Le 19/03/2020 à 17:14, Albin Coquereau a écrit : > 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 d

Re: [Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

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

[Why3-club] Alt-Ergo: free release of 2.2.0 and 2.3.0?

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,