diff options
author | Niols <niols@niols.fr> | 2023-05-03 11:56:49 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-09-21 10:57:54 +0200 |
commit | 702f067ff0c698ac9daf9d5ab63c6f8c0b2c1688 (patch) | |
tree | ddcc06b85d063d84d7471daf5fa7386c7ae6fcea /lib | |
parent | 8ace65ff3d7696b7a03ea9583b39df27b3153984 (diff) |
licenses: add OCaml LGPL Linking Exception
Diffstat (limited to 'lib')
-rw-r--r-- | lib/licenses.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index 599e8ee53c93a..02b89b00f3d0d 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -856,6 +856,11 @@ in mkLicense lset) ({ free = false; }; + ocamlLgplLinkingException = { + spdxId = "OCaml-LGPL-linking-exception"; + fullName = "OCaml LGPL Linking Exception"; + }; + ocamlpro_nc = { fullName = "OCamlPro Non Commercial license version 1"; url = "https://alt-ergo.ocamlpro.com/http/alt-ergo-2.2.0/OCamlPro-Non-Commercial-License.pdf"; |