summary refs log tree commit diff
path: root/lib/licenses.nix
diff options
context:
space:
mode:
authorUlrik Strid <ulrik.strid@outlook.com>2023-10-04 10:30:35 +0200
committerGitHub <noreply@github.com>2023-10-04 10:30:35 +0200
commit8d301f41a14f734dfe8de047ada0f0a68b4f80e3 (patch)
tree3f5b271513c6baabc9577f771f6d58bce6dd5a77 /lib/licenses.nix
parentd0828766543c4415bb51ea630da9a76663b04071 (diff)
parentbc1d216bb2c25e049435901f900c333a6f27498a (diff)
Merge pull request #256411 from wegank/zelus-init
ocamlPackages.zelus{,-gtk}: init at 2.2
Diffstat (limited to 'lib/licenses.nix')
-rw-r--r--lib/licenses.nix6
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";