[Pkg-ocaml-maint-commits] [apron] 04/09: debian/copyright: Update
Nicolas Braud-Santoni
nicolas at braud-santoni.eu
Sun Jul 24 02:20:17 UTC 2016
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
More information about the Pkg-ocaml-maint-commits
mailing list