[Pkg-ocaml-maint-commits] [apron] 02/03: debian/copyright: Remove duplicate license definition

[Nicolas Braud-Santoni]

This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch master
in repository apron.

commit 9035613b3127d67fc164f75b5945cc7adbce5744
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Mon Aug 1 20:31:15 2016 +0200

    debian/copyright: Remove duplicate license definition
---
 debian/copyright | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index 1411fda..d6fbdb2 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -15,20 +15,6 @@ Files: apron/apronxx/apronxx_test.cc
        apron/apronxx/apxx_ppl_product_inline.hh
 Copyright: © 2007-2009 Antoine Miné
 License: GPL-2+
-License: GPL-2+
-  .
-  This program is free software; you can redistribute it and/or modify
-  it under the terms of the GNU General Public License as published by
-  the Free Software Foundation; either version 2 of the License, or
-  (at your option) any later version.
-  .
-  This program is distributed in the hope that it will be useful,
-  but WITHOUT ANY WARRANTY; without even the implied warranty of
-  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-  GNU General Public License for more details.
-  .
-  The complete text of the GNU General Public License can be
-  found in `/usr/share/common-licenses/GPL-2'.
 
 Files: apron/ppl/*
 Copyright: © 2006-2009 Antoine Miné

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/apron.git