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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
