diff options
Diffstat (limited to 'lib/licenses.nix')
| -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"; |