diff --git a/lib/licenses.nix b/lib/licenses.nix
index 0fd641085374..980cce8712b2 100644
--- a/lib/licenses.nix
+++ b/lib/licenses.nix
@@ -615,6 +615,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";