[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.18.dfsg-1-1-gb91c303

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit b91c303aa5f415b12ba33a601fae6934c4605794
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sun Mar 22 09:55:49 2009 +0100

    Machine parsable copyright format

diff --git a/debian/copyright b/debian/copyright
index cba275c..cb92472 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,33 +1,88 @@
-This package was debianized by Samuel Mimram <smimram at debian.org> on
-Thu, 22 Mar 2007 21:02:49 +0100.
-
-It was downloaded from http://why.lri.fr/
 
+Packaged-By: Samuel Mimram <smimram at debian.org>
+Packaged-Date: Thu, 22 Mar 2007 21:02:49 +0100
+Upstream-Source: http://why.lri.fr/
 Upstream Author: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre at lri.fr>
 
-Copyright (C) 2002-2008 Jean-Christophe Filliâtre
+Files: atp/*
+Copyright: © 2003 John Harrison
+	   © 2002-2008 Romain BARDOU
+	   © 2002-2008 Jean-François COUCHOT
+	   © 2002-2008 Mehdi DOGGUY
+	   © 2002-2008 Jean-Christophe FILLIÂTRE
+	   © 2002-2008 Thierry HUBERT
+	   © 2002-2008 Claude MARCHÉ
+	   © 2002-2008 Yannick MOY
+	   © 2002-2008 Christine PAULIN
+	   © 2002-2008 Yann RÉGIS-GIANAS
+	   © 2002-2008 Nicolas ROUSSET
+	   © 2002-2008 Xavier URBAIN
+License: BSD
+
+  Redistribution and use in source and binary forms, with or without
+  modification, are permitted provided that the following conditions
+  are met:
+  
+  * Redistributions of source code must retain the above copyright
+  notice, this list of conditions and the following disclaimer.
+  
+  * Redistributions in binary form must reproduce the above copyright
+  notice, this list of conditions and the following disclaimer in the
+  documentation and/or other materials provided with the distribution.
+  
+  * The name of John Harrison may not be used to endorse or promote
+  products derived from this software without specific prior written
+  permission.
+  
+  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+  FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+  CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+  LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
+  USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
+  ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+  OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
+  OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+  SUCH DAMAGE.
 
-License:
+Files: *
+Copyright: © 2002-2008 Romain BARDOU
+	   © 2002-2008 Jean-François COUCHOT
+	   © 2002-2008 Mehdi DOGGUY
+	   © 2002-2008 Jean-Christophe FILLIÂTRE
+	   © 2002-2008 Thierry HUBERT
+	   © 2002-2008 Claude MARCHÉ
+	   © 2002-2008 Yannick MOY
+	   © 2002-2008 Christine PAULIN
+	   © 2002-2008 Yann RÉGIS-GIANAS
+	   © 2002-2008 Nicolas ROUSSET
+	   © 2002-2008 Xavier URBAIN
+License: LGPL-2 | other
 
-   This software is distributed under the terms of the GNU Library General
-   Public License version 2 (included below).
+  This software is distributed under the terms of the GNU Library
+  General Public License version 2.
 
-   As a special exception to the GNU Library General Public License, you
-   may link, statically or dynamically, a "work that uses the Library"
-   with a publicly distributed version of the Library to produce an
-   executable file containing portions of the Library, and distribute
-   that executable file under terms of your choice, without any of the
-   additional requirements listed in clause 6 of the GNU Library General
-   Public License. By "a publicly distributed version of the Library", we
-   mean either the unmodified Library as distributed, or a
-   modified version of the Library that is distributed under the
-   conditions defined in clause 3 of the GNU Library General Public
-   License. This exception does not however invalidate any other reasons
-   why the executable file might be covered by the GNU Library General
-   Public License.
+  As a special exception to the GNU Library General Public License,
+  you may link, statically or dynamically, a "work that uses the
+  Library" with a publicly distributed version of the Library to
+  produce an executable file containing portions of the Library, and
+  distribute that executable file under terms of your choice, without
+  any of the additional requirements listed in clause 6 of the GNU
+  Library General Public License. By "a publicly distributed version
+  of the Library", we mean either the unmodified Library as
+  distributed, or a modified version of the Library that is
+  distributed under the conditions defined in clause 3 of the GNU
+  Library General Public License. This exception does not however
+  invalidate any other reasons why the executable file might be
+  covered by the GNU Library General Public License.
 
-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-2009 Samuel Mimram <smimram at debian.org>
+	   © 2008-2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>
+License: LGPL-2
 
-The Debian packaging is (C) 2007, Samuel Mimram <smimram at debian.org> and
-is licensed under the GPL, see above.
+On Debian systems, the complete text of the GNU Lesser General Public
+License can be found in `/usr/share/common-licenses/LGPL-2' and BSD
+License in `/usr/share/common-licenses/BSD'.
\ No newline at end of file

-- 
why packaging