On Mon, 2008-08-18 at 13:59 -0400, Alan Dunn wrote:
I'm hoping to package the Alt-Ergo automated theorem prover
) 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
Hooray for license proliferation! CeCILL-C is Free, but GPL
incompatible. I've added it to the table.