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