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