Re: [Why3-club] Release of Alt-Ergo 2.0.0

[Yannick Moy]

-- Ralf Treinen (2017-11-16)
> Hello,
> 
> On Thu, Nov 16, 2017 at 01:57:09PM +0100, Mohamed Iguernlala wrote:
> 
>> More generally, in addition to license update,
> 
> The change of license is also quite important - the new license allows
> only for non-commercial use. This means that debian will not be able to
> include any version of AltErgo under this new license. We might continue to
> maintain the last free version in debian as long as it is still useful,
> however.

As the OCamlPro license is limited to specific preludes, it seems that the 
alt-ergo binary could be all Apache 2.0, and that you can just avoid 
distributing the non-Apache prelude files to get a free software version. 
Mohamed, do you confirm that?

--
Yannick Moy, Senior Software Engineer, AdaCore




___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Re: [Why3-club] Release of Alt-Ergo 2.0.0

[Mohamed Iguernlala]

Hello Ralf,

Actually, the main motivation behind the change of license is the
following: instead of making up-to-date private releases and
delayed public releases (~delay of one year and based on previous
private version), we decided to

-> make up-to-date public releases with a non-commercial license
-> make free public releases based on previous public NC versions

So, there will be a free version of Alt-Ergo 2.0.0 that can be
included in Debian.

Best regards,

Mohamed.

2017-11-16 16:47 GMT+01:00 Ralf Treinen :

> Hello,
>
> On Thu, Nov 16, 2017 at 01:57:09PM +0100, Mohamed Iguernlala wrote:
>
> > More generally, in addition to license update,
>
> The change of license is also quite important - the new license allows
> only for non-commercial use. This means that debian will not be able to
> include any version of AltErgo under this new license. We might continue to
> maintain the last free version in debian as long as it is still useful,
> however.
>
> -Ralf.
> --
> Ralf Treinen
> Institut de Recherche en Informatique Fondamentale
> Équipe Preuves, Programmes et Systèmes
> Université Paris Diderot, Paris, France.
> http://www.irif.fr/~treinen/
> ___
> Why3-club mailing list
> Why3-club@lists.gforge.inria.fr
> https://lists.gforge.inria.fr/mailman/listinfo/why3-club
>
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club

Re: [Why3-club] Release of Alt-Ergo 2.0.0

[Ralf Treinen]

Hi Mohamed, ecxellent, thanks ! Ralf.

On Thu, Nov 16, 2017 at 05:40:53PM +0100, Mohamed Iguernlala wrote:
> Hello Ralf,
> 
> Actually, the main motivation behind the change of license is the
> following: instead of making up-to-date private releases and
> delayed public releases (~delay of one year and based on previous
> private version), we decided to
> 
> -> make up-to-date public releases with a non-commercial license
> -> make free public releases based on previous public NC versions
> 
> So, there will be a free version of Alt-Ergo 2.0.0 that can be
> included in Debian.
> 
> Best regards,
> 
> Mohamed.
> 
> 2017-11-16 16:47 GMT+01:00 Ralf Treinen :
> 
> > Hello,
> >
> > On Thu, Nov 16, 2017 at 01:57:09PM +0100, Mohamed Iguernlala wrote:
> >
> > > More generally, in addition to license update,
> >
> > The change of license is also quite important - the new license allows
> > only for non-commercial use. This means that debian will not be able to
> > include any version of AltErgo under this new license. We might continue to
> > maintain the last free version in debian as long as it is still useful,
> > however.
> >
> > -Ralf.
> > --
> > Ralf Treinen
> > Institut de Recherche en Informatique Fondamentale
> > Équipe Preuves, Programmes et Systèmes
> > Université Paris Diderot, Paris, France.
> > http://www.irif.fr/~treinen/
> > ___
> > Why3-club mailing list
> > Why3-club@lists.gforge.inria.fr
> > https://lists.gforge.inria.fr/mailman/listinfo/why3-club
> >

-- 
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club