[Pkg-ocaml-maint-commits] [apron] 04/09: debian/copyright: Update

[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 c655422344716cb3b6e07b61de1b207ccb99be9c
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Sat Jul 23 14:17:44 2016 -0400

    debian/copyright: Update
    
    - Switch to fomat 1.0
    - Fix syntax errors
    - Fix license informations on some files
---
 debian/copyright | 89 +++++++++++++++++++++++++++++---------------------------
 1 file changed, 46 insertions(+), 43 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index a6b97f8..1411fda 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,79 +1,82 @@
-Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Packaged-By: Samuel Mimram <smimram at debian.org>
 Packaged-Date: Wed Oct 21 19:11:16 CEST 2009
 Upstream-Source: http://apron.cri.ensmp.fr/library/
-Upstream-Maintainer: Bertand Jeannet <bertrand.jeannet at irisa.fr> and Antoine Miné <mine at di.ens.fr>
+Upstream-Contact: Bertand Jeannet <bertrand.jeannet at irisa.fr> and Antoine Miné <mine at di.ens.fr>
 
 Files: apron/*
 Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
 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/apron/*
-Copyright: © 2005-2009 Bertrand Jeannet
-
-Files: apron/apronxx/*
-Copyright: © 2007-2009 Antoine Miné
-
-Files: apron/apronxx/apronxx_test.cc,
-       apron/apronxx/apxx_ppl.hh,
-       apron/apronxx/apxx_ppl_inline.hh,
-       apron/apronxx/apxx_ppl_product.hh,
+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é
 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/box/*
-Copyright: © 2006-2009 Bertrand Jeannet
-
-Files: apron/itv/*
-Copyright: © 2006-2009 Bertrand Jeannet and Antoine Miné
-
-Files: apron/mlapronidl/*
-Copyright: © 2005-2009 Bertrand Jeannet
-
-Files: apron/newpolka/*
-Copyright: © 1999-2009 Bertrand Jeannet
-
-Files: apron/octagons/*
-Copyright: © 2006-2009 Antoine Miné
-
 Files: apron/ppl/*
 Copyright: © 2006-2009 Antoine Miné
 License: GPL-2+
 
+Files: apron/ppl/ap_ppl.texi
+Copyright: © 2006-2009 Antoine Miné
+License: LGPL-2.1+
+
 Files: apron/test/*
 Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
 License: GPL-2+
 
 Files: mlgmpidl/*
 Copyright: © 2005-2009 Bertrand Jeannet
+License: LGPL-2.1+
 
 Files: debian/*
 Copyright: © 2009 Samuel Mimram <smimram at debian.org>
 License: GPL-2+
+
+
+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'.
+
+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'.

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