diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/licenses.nix | 12 |
1 files changed, 12 insertions, 0 deletions
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"; + }; } |