[Fedora-legal-list] CeCILL-C license versus CeCILL for packaging Alt-Ergo theorem prover

[Tom "spot" Callaway]

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