On Mon, 2008-08-18 at 13:59 -0400, Alan Dunn wrote:
I'm hoping to package the Alt-Ergo automated theorem prover
(
http://ergo.lri.fr) for use in Fedora. It appears that they have
released this software under the CeCILL-C license, which is not one of
those listed on
http://fedoraproject.org/wiki/Licensing#SoftwareLicenses
Hooray for license proliferation! CeCILL-C is Free, but GPL
incompatible. I've added it to the table.
Use:
License: CeCILL-C
Thanks,
~spot