diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/licenses.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index c4db280645a4..2d4e52ae4806 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -500,6 +500,12 @@ lib.mapAttrs (n: v: v // { shortName = n; }) rec { fullName = "Non-Profit Open Software License 3.0"; }; + 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"; + free = false; + }; + ofl = spdx { spdxId = "OFL-1.1"; fullName = "SIL Open Font License 1.1"; |