From acd3db537c9a1335effb5deba4d79b92f0b951aa Mon Sep 17 00:00:00 2001 From: tuohy Date: Mon, 13 May 2024 00:06:30 -0400 Subject: [PATCH 1/2] Refer to Apache 2.0 instead of CeCILL-C None of the -free releases on opam or github are released under the CeCILL license --- docs/sphinx_docs/About/licenses/index.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/sphinx_docs/About/licenses/index.rst b/docs/sphinx_docs/About/licenses/index.rst index a2f10c8ae..ecdd182c2 100644 --- a/docs/sphinx_docs/About/licenses/index.rst +++ b/docs/sphinx_docs/About/licenses/index.rst @@ -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 `. -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 @@ -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 `. +:download:`Apache Software License version 2.0 ` The packages of the free releases are suffixed with `-free` on the opam repository. From b9e635cc8fc65529e360ad4c4ae4bf93cfd0da47 Mon Sep 17 00:00:00 2001 From: tuohy Date: Mon, 13 May 2024 00:11:06 -0400 Subject: [PATCH 2/2] Update stale link to online license info --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e4c29c75e..120081db1 100644 --- a/README.md +++ b/README.md @@ -63,7 +63,7 @@ See [Alt-Ergo @ OCamlPro] or contact us at [alt-ergo@ocamlpro.com] 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