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

[Alan Dunn]

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