diff options
author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-10-10 21:03:45 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-13 17:45:45 +0000 |
commit | 6738033727ca7945f1465ad76492891489e133ce (patch) | |
tree | 45bc71a263e979fc82ab7b9300ceadafff96d20e /lib/licenses.nix | |
parent | 0ba1f0aa727bb76aa4ebc76a42ee3fb78844b932 (diff) |
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4
Diffstat (limited to 'lib/licenses.nix')
-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"; |