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.

Sign up for GitHub

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

Jump to bottom

Update docs: free releases licensed under Apache 2.0 #1116

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

Update docs: free releases licensed under Apache 2.0 #1116

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
acd3db5
Refer to Apache 2.0 instead of CeCILL-C
tuohy May 13, 2024
b9e635c
Update stale link to online license info
tuohy May 13, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ See [Alt-Ergo @ OCamlPro] or contact us at [[email protected]] for more deta
[installing informations]: https://ocamlpro.github.io/alt-ergo/Install/index.html
[https://alt-ergo.ocamlpro.com]: https://alt-ergo.ocamlpro.com
[latest]: https://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.2/alt-ergo-2.3.2.tar.gz
[license section]: https://ocamlpro.github.io/alt-ergo/About/license.html
[license section]: https://ocamlpro.github.io/alt-ergo/About/licenses/index.html
[LRI]: https://www.lri.fr
[OCamlPro]: https://www.ocamlpro.com
[OCamlPro non-commercial license 1.0]: ./licenses/OCamlPro-Non-Commercial-License.txt
Expand Down
4 changes: 2 additions & 2 deletions docs/sphinx_docs/About/licenses/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ All the files of this project, with the exception of the preludes and plugins, a
As an exception, Alt-Ergo Club members at the Gold level can use these same files
under the terms of :download:`Apache Software License version 2.0 <Apache-License-2.0.txt>`.

Note that plugins or preludes may have different licenses. Please referer to
Note that plugins or preludes may have different licenses. Please refer to
their directory.

Until 2013, some parts of this code were released under the terms of the
Expand All @@ -39,5 +39,5 @@ We publish our releases on GitHub and opam repository under the license
The same exceptions as above apply to the plugins and preludes.

We also publish a free release of Alt-Ergo under the terms of
:download:`CeCILL-C License v1 <CeCILL-C-License-v1.txt>`.
:download:`Apache Software License version 2.0 <Apache-License-2.0.txt>`
The packages of the free releases are suffixed with `-free` on the opam repository.