[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-8-gf0111f3

[Samuel Mimram]

The following commit has been merged in the master branch:
commit e0fba36f2234ac42db72e3489552ce6bb4bdb1ba
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 14:11:58 2009 +0100

    Enhance copyright.

diff --git a/debian/copyright b/debian/copyright
index 6daa989..6c49946 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,48 +6,72 @@ Upstream-Maintainer: The APRON Team
 
 Files: apron/*
 Copyright:
-License: LGPL-2.1
+License: LGPL-2.1+
 
 Files: apron/apronxx/*
 Copyright: © 2007-2009 Antoine Miné
-License: LGPL-2.1
+License: LGPL-2.1+
+
+  This library is free software; you can redistribute it and/or
+  modify it under the terms of the GNU Lesser General Public
+  License as published by the Free Software Foundation; either
+  version 2.1 of the License, or (at your option) any later version.
+
+  This library 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
+  Lesser General Public License for more details.
+
+  The complete text of the GNU Lesser General Public License can be
+  found in `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: apron/apronxx/apronxx_test.cc,
        apron/apronxx/apxx_ppl.hh,
        apron/apronxx/apxx_ppl_inline.hh,
        apron/apronxx/apxx_ppl_product.hh,
        apron/apronxx/apxx_ppl_product_inline.hh
-Copyright: © 2007-2009 Antoine Miné <mine at di.ens.fr>
-License: GPL-2
+Copyright: © 2007-2009 Antoine Miné
+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/box/*
 Copyright: © 2006-2009 Bertrand Jeannet
-License: LGPL-2.1
 
 Files: apron/itv/*
 Copyright: © 2006-2009 Bertrand Jeannet and Antoine Miné
-License: LGPL-2.1
 
 Files: apron/mlapronidl/*
 Copyright: © 2005-2009 Bertrand Jeannet
-License: LGPL-2.1
 
 Files: apron/newpolka/*
 Copyright: © 1999-2009 Bertrand Jeannet
-License: LGPL-2.1
 
 Files: apron/octagons/*
 Copyright: © 2006-2009 Antoine Miné
-License: LGPL-2.1
 
 Files: apron/ppl/*
 Copyright: © 2006-2009 Antoine Miné
-License: GPL-2
+License: GPL-2+
 
 Files: apron/test/*
 Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
-License: GPL-2
+License: GPL-2+
+
+Files: mlgmpidl/*
+Copyright: © 2005-2009 Bertrand Jeannet
 
 Files: debian/*
 Copyright: © 2009 Samuel Mimram <smimram at debian.org>
-License: GPL
+License: GPL-2+

-- 
apron packaging