From 145dcdc539764b293bcd2915a114cd9d22e7acaf Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Thu, 1 May 2014 19:08:36 -0500
Subject: [PATCH] Add licenses for CompCert/Z3

Both of these allow for binary redistribution.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 lib/licenses.nix | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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";
+  };
 }