Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update docs: free releases licensed under Apache 2.0 #1116

Open
wants to merge 2 commits into
base: next
Choose a base branch
from

Conversation

tuohy
Copy link

@tuohy tuohy commented May 13, 2024

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.

tuohy added 2 commits May 13, 2024 00:06
None of the -free releases on opam or github are released under the CeCILL license
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant