diff options
author | Ulrik Strid <ulrik.strid@outlook.com> | 2023-10-04 10:30:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-04 10:30:35 +0200 |
commit | 8d301f41a14f734dfe8de047ada0f0a68b4f80e3 (patch) | |
tree | 3f5b271513c6baabc9577f771f6d58bce6dd5a77 /lib | |
parent | d0828766543c4415bb51ea630da9a76663b04071 (diff) | |
parent | bc1d216bb2c25e049435901f900c333a6f27498a (diff) |
Merge pull request #256411 from wegank/zelus-init
ocamlPackages.zelus{,-gtk}: init at 2.2
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 291f41e1cacc6..b9d6dc44e6d00 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -620,6 +620,12 @@ in mkLicense lset) ({ free = false; }; + inria-zelus = { + fullName = "INRIA Non-Commercial License Agreement for the ZĂ©lus compiler"; + url = "https://github.com/INRIA/zelus/raw/829f2b97cba93b0543a9ca0272269e6b8fdad356/LICENSE"; + free = false; + }; + ipa = { spdxId = "IPA"; fullName = "IPA Font License"; |