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 The main CeCILL (v2) license is listed as approved, but the CeCILL-C is unlisted. Can someone tell me if this other license (which is also available at http://www.cecill.info/licences.en.html) will pose a problem? - Alan Dunn _______________________________________________ Fedora-legal-list mailing list Fedora-legal-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-legal-list