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 <trei...@irif.fr>: > > > 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