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 _______________________________________________ Fedora-legal-list mailing list Fedora-legal-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-legal-list