[Pkg-ocaml-maint-commits] [SCM] core packaging branch, master, updated. 0f92ab7e6655a36e8f3680474164a91ae1f15e51

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 8b42a5cf7daa690de3451f07b1f8359e4ec30ac2
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Sat May 3 11:20:12 2008 +0200

    machine parseable copyright information

diff --git a/debian/copyright b/debian/copyright
index 342a213..8d427e3 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,24 +1,36 @@
 This package was debianized by Stefano Zacchiroli <zack at debian.org> on
 Sat, 03 May 2008 10:55:27 +0200.
 
-It was downloaded from <url://example.com>
+It was downloaded from <http://janestcapital.com/ocaml/>
+
+Files: *
+Copyright: 2008 Jane Street Holding, LLC <opensource at janestcapital.com>
+License: LGPL-2.1 | other
+
+ The Library is distributed under the terms of the GNU Lesser General
+ Public License version 2.1.
+
+ As a special exception to the GNU Lesser 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 Lesser General Public License.
+ By "a publicly distributed version of the Library", we mean either the
+ unmodified Library as distributed by the authors, or a modified version
+ of the Library that is distributed under the conditions defined in clause
+ 3 of the GNU Lesser General Public License.  This exception does not
+ however invalidate any other reasons why the executable file might be
+ covered by the GNU Lesser General Public License.
+
+ On Debian systems, the complete text of the GNU Lessere General Public
+ License version 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'.
+
+Files: debian/*
+Copyright: © 2008 Stefano Zacchiroli <zack at debian.org>
+License: GPL-3+
+
+  The Debian packaging is copyright Stefano Zacchiroli, and licensed under the
+  GNU General Public License, see `/usr/share/common-licenses/GPL' for the full
+  text.
 
-Upstream Author(s): 
-
-    <put author's name and email here>
-    <likewise for another author>
-
-Copyright: 
-
-    <Copyright (C) YYYY Name OfAuthor>
-    <likewise for another author>
-
-License:
-
-    <Put the license of the package here indented by 4 spaces>
-
-The Debian packaging is (C) 2008, Stefano Zacchiroli <zack at debian.org> and
-is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
-
-# Please also look if there are files or directories which have a
-# different copyright/license attached and list them here.

-- 
core packaging