aboutsummaryrefslogtreecommitdiffstats
path: root/options/license/OCaml-LGPL-linking-exception
diff options
context:
space:
mode:
authorAntoine GIRARD <sapk@users.noreply.github.com>2019-12-20 01:17:25 +0100
committerLunny Xiao <xiaolunwen@gmail.com>2019-12-20 08:17:25 +0800
commite2fc0a0dfd99a86279eeece846cd911fe0c5ac6c (patch)
treed78192b5c53ddc08513fcad4540ca6f423ee3715 /options/license/OCaml-LGPL-linking-exception
parentdb5524a9ab6b0050fa71e21a3a15740e85e4e4a8 (diff)
downloadgitea-e2fc0a0dfd99a86279eeece846cd911fe0c5ac6c.tar.gz
gitea-e2fc0a0dfd99a86279eeece846cd911fe0c5ac6c.zip
chore: update license list (#9436)
go run scripts/generate-licenses.go Co-authored-by: zeripath <art27@cantab.net>
Diffstat (limited to 'options/license/OCaml-LGPL-linking-exception')
-rw-r--r--options/license/OCaml-LGPL-linking-exception3
1 files changed, 3 insertions, 0 deletions
diff --git a/options/license/OCaml-LGPL-linking-exception b/options/license/OCaml-LGPL-linking-exception
new file mode 100644
index 0000000000..cee7a4df49
--- /dev/null
+++ b/options/license/OCaml-LGPL-linking-exception
@@ -0,0 +1,3 @@
+OCaml LGPL Linking Exception
+
+As a special exception to the GNU Lesser General Public License, you may link, statically or dynamically, a "work that uses the OCaml Core System " with a publicly distributed version of the OCaml Core System to produce an executable file containing portions of the OCaml Core System , and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Lesser General Public License. By "a publicly distributed version of the OCaml Core System ", we mean either the unmodified OCaml Core System as distributed by INRIA , or a modified version of the OCaml Core System that is distributed under the conditions defined in clause 2 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License.