None of the versions on opam alt-ergo-free or the branches marked -free in github are licensed under CeCILL-C, but the license section of the documentation did not reflect this.
Additionally the link in the readme to the licenses section of the documentation was out-of-date, and this led to a 404 link to the license section on the main page.
see #1115 for some remaining references to CeCILL-C license that it is not completely obvious how to address.
None of the versions on opam alt-ergo-free or the branches marked -free in github are licensed under CeCILL-C, but the license section of the documentation did not reflect this.
Additionally the link in the readme to the licenses section of the documentation was out-of-date, and this led to a 404 link to the license section on the main page.
see #1115 for some remaining references to CeCILL-C license that it is not completely obvious how to address.