Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

"MJ Ray" wrote: I think we've consensus on software that uses CeCILL (upgradeable to GPL, so meets DFSG) and we've discussed CeCILL-C, but what do we think of B? My searches didn't find much discussion of it here, or any packages in the archive using it yet. A copy follows. Please cc the bug

Re: Bug#508249: ITP: libio-pager-perl -- pipe output to a pager if destination is a TTY

"brian m. carlson" wrote: > On Tue, Dec 09, 2008 at 11:19:42AM +0200, Damyan Ivanov wrote: > >* License : other > > - Thou shalt not claim ownership of unmodified materials. > > - Thou shalt not claim whole ownership of modified materials. > > - Thou shalt grant the indemnity of the provid

Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

MJ Ray a écrit : > RFC from debian-legal regarding the license:- I would add that ssreflect is a plugin that is meant to be linked (dynamically) to Coq (Coq being the main program), which is LGPL-2.1. I haven't yet studied in much details any license-related incompatibilites that might occur, but

Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant

Stephane Glondu wrote: > * Package name: ssreflect > * URL : http://www.msr-inria.inria.fr/Projects/math-components > * License : CeCILL-B RFC from debian-legal regarding the license:- I think we've consensus on software that uses CeCILL (upgradeable to GPL, so meets DFSG