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

2017-11-16 Thread 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

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

2017-11-16 Thread 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

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

2017-11-16 Thread 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