Add licenses for CompCert/Z3

Both of these allow for binary redistribution.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

1 files changed, 12 insertions, 0 deletions

diff --git a/lib/licenses.nix b/lib/licenses.nix
index c2a02bd1b9a..68f91f80685 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";
+  };
 }