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

To: MJ Ray <mjr@phonecoop.coop>
Cc: debian-legal@lists.debian.org, 508468@bugs.debian.org
Subject: Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
From: Stéphane Glondu <steph@glondu.net>
Date: Fri, 12 Dec 2008 11:08:40 +0100
Message-id: <[🔎] 49423828.4050907@glondu.net>
In-reply-to: <49422dc5.M/voBEWInn0X/ipn%mjr@phonecoop.coop>
References: <20081211145949.10001.8898.reportbug@nickel.pps.jussieu.fr> <49422dc5.M/voBEWInn0X/ipn%mjr@phonecoop.coop>

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 CeCILL-B is advertised by its authors as BSD-like,
less restrictive than CeCILL.


Thanks for your comments,

-- 
Stéphane

Reply to:

References:
- Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
  - From: MJ Ray <mjr@phonecoop.coop>

Prev by Date: Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
Next by Date: Re: Bug#508249: ITP: libio-pager-perl -- pipe output to a pager if destination is a TTY
Previous by thread: Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
Next by thread: Re: ITP: ssreflect -- small scale reflection extension for the Coq proof assistant
Index(es):
- Date
- Thread