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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org