diff --git a/lib/licenses.nix b/lib/licenses.nix
index c2a02bd1b9ae..68f91f806858 100644
--- a/lib/licenses.nix
+++ b/lib/licenses.nix
@@ -266,4 +266,16 @@
     fullName  = "CEA CNRS INRIA Logiciel Libre";
     url       = "http://www.cecill.info/licences.en.html";
   };
+
+  msrla = {
+    shortName = "MSR-LA";
+    fullName  = "Microsoft Research License Agreement";
+    url       = "http://research.microsoft.com/en-us/projects/pex/msr-la.txt";
+  };
+
+  inria = {
+    shortName = "INRIA-NCLA";
+    fullName  = "INRIA Non-Commercial License Agreement";
+    url       = "http://compcert.inria.fr/doc/LICENSE";
+  };
 }