From d1aa065a5d1924b3315075c03e3206f18378cd42 Mon Sep 17 00:00:00 2001
From: Remy Goldschmidt <taktoa@gmail.com>
Date: Thu, 2 Feb 2017 19:16:45 -0600
Subject: dotnetPackages.Boogie: init at 2017-01-03

---
 lib/licenses.nix | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib')

diff --git a/lib/licenses.nix b/lib/licenses.nix
index 90c1cc177cb3b..4d4a3c1a95449 100644
--- a/lib/licenses.nix
+++ b/lib/licenses.nix
@@ -379,6 +379,11 @@ lib.mapAttrs (n: v: v // { shortName = n; }) rec {
     fullName = "Mozilla Public License 2.0";
   };
 
+  mspl = spdx {
+    spdxId = "MS-PL";
+    fullName = "Microsoft Public License";
+  };
+
   msrla = {
     fullName  = "Microsoft Research License Agreement";
     url       = "http://research.microsoft.com/en-us/projects/pex/msr-la.txt";
-- 
cgit 1.4.1