[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-14-g128255c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit cc7c336f26c0e6cc0c19119251f85f61d6635a57
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Mar 11 16:59:11 2009 +0100

    Switch copyright to machine-parsable format

diff --git a/debian/copyright b/debian/copyright
index 03c57eb..6bb25f7 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,34 +1,41 @@
-This package was debianized by Samuel Mimram <smimram at debian.org> on
-Fri, 10 Aug 2007 14:48:56 +0000.
-
-It was downloaded from http://lipforge.ens-lyon.fr/www/pff/
-
-Upstream Authors: 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
-
-Copyright (C) 2001 Laurent Théry, Sylvie Boldo, Laurence Rideau and Laurent Fousse.
-
-License:
-
-    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'.
-
-
-The Debian packaging is (C) 2007, Samuel Mimram <smimram at debian.org> and
-is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
+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/
+
+Files: *
+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'.
+
+Files: debian/*
+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'.

-- 
coq-float packaging