From 6cbd9ce8f9e0ca111a99a8f57adb7a8ba6cd957d Mon Sep 17 00:00:00 2001
From: Kevin Quick <quick@sparq.org>
Date: Fri, 7 Jul 2017 12:54:32 -0700
Subject: Fix license reference for added libpoly library.

---
 pkgs/applications/science/logic/poly/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pkgs/applications/science/logic/poly/default.nix')

diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix
index f573f0c15b4b..2fdbd87a275c 100644
--- a/pkgs/applications/science/logic/poly/default.nix
+++ b/pkgs/applications/science/logic/poly/default.nix
@@ -16,7 +16,7 @@ stdenv.mkDerivation {
   meta = with stdenv.lib; {
     homepage = https://github.com/SRI-CSL/libpoly;
     description = "C library for manipulating polynomials";
-    license = licenses.gplv3;
+    license = licenses.lgpl3;
     platforms = platforms.all;
   };
 }
-- 
cgit 1.4.1