[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/1%8.3pl1-4-7-g724af20

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7bf226a7f0a8599f4d59d6500b537ecebd272a1f
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed May 8 23:27:28 2013 +0200

    Use format version 1.0 in debian/copyright

diff --git a/debian/copyright b/debian/copyright
index 6bb25f7..267ab61 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,41 +1,40 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Packaged-By: Samuel Mimram <smimram at debian.org>
 Packaged-Date: Fri, 10 Aug 2007 14:48:56 +0000
-Upstream-Author:
-  Laurent Théry <thery at sophia.inria.fr>,
-  Sylvie Boldo <Sylvie.Boldo at ens-lyon.fr>,
-  Laurence Rideau <lrg at sophia.inria.fr>,
-  Laurent Fousse
-Original-Source-Location: http://lipforge.ens-lyon.fr/www/pff/
+Upstream-Contact:
+ Laurent Théry <thery at sophia.inria.fr>,
+ Sylvie Boldo <Sylvie.Boldo at ens-lyon.fr>,
+ Laurence Rideau <lrg at sophia.inria.fr>,
+ Laurent Fousse
+Source: http://lipforge.ens-lyon.fr/www/pff/
 
 Files: *
-Copyright: © 2001-2002 Sylvie Boldo
-           © 2001 Laurent Théry
-           © 2001 Laurence Rideau
-           © 2001 Laurent Fousse
+Copyright: 2001-2002, Sylvie Boldo
+           2001, Laurent Théry
+           2001, Laurence Rideau
+           2001, Laurent Fousse
 License: LGPL-2+
-
-  This package 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 of the
-  License, or (at your option) any later version.
-
-  This package 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.
-
-  You should have received a copy of the GNU Lesser General Public
-  License along with this package; if not, write to the Free Software
-  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
-  USA
-
-  On Debian systems, the complete text of the GNU Lesser General
-  Public License can be found in `/usr/share/common-licenses/LGPL-2'.
+ This package 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 of the
+ License, or (at your option) any later version.
+ .
+ This package 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.
+ .
+ You should have received a copy of the GNU Lesser General Public
+ License along with this package; if not, write to the Free Software
+ Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
+ USA
+ .
+ On Debian systems, the complete text of the GNU Lesser General
+ Public License can be found in `/usr/share/common-licenses/LGPL-2'.
 
 Files: debian/*
-Copyright: © 2007 Samuel Mimram <smimram at debian.org>
-           © 2009 Stéphane Glondu <steph at glondu.net>
+Copyright: 2007, Samuel Mimram <smimram at debian.org>
+           2009, Stéphane Glondu <steph at glondu.net>
 License: GPL-2+
-
-  The Debian packaging is licensed under the GPL, see
-  `/usr/share/common-licenses/GPL-2'.
+ The Debian packaging is licensed under the GPL, see
+ `/usr/share/common-licenses/GPL-2'.

-- 
coq-float packaging