diff options
author | Remy Goldschmidt <taktoa@gmail.com> | 2017-02-02 19:16:45 -0600 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2017-02-04 15:27:18 +0100 |
commit | d1aa065a5d1924b3315075c03e3206f18378cd42 (patch) | |
tree | dfc55be4ce49776ead3fc7fbc927702c773a2a8d /lib/licenses.nix | |
parent | 949f9aff1deef09a96e468131765701702b48254 (diff) | |
download | nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.gz nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.bz2 nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.lz nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.xz nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.zst nixpkgs-d1aa065a5d1924b3315075c03e3206f18378cd42.zip |
dotnetPackages.Boogie: init at 2017-01-03
Diffstat (limited to 'lib/licenses.nix')
-rw-r--r-- | lib/licenses.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index 90c1cc177cb..4d4a3c1a954 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"; |