[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-14-g85c6470

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 6c00c0bda5b7a35e5da20a68c9c73ceb205a8d86
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 16:29:27 2012 +0100

    add GPL copyright header to debian/copyright

diff --git a/debian/copyright b/debian/copyright
index 6dafde8..6c1a5c1 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -6,6 +6,19 @@ Source: http://http://coinst.irill.org/
 Files: *
 Copyright: 2005-2011 Jérôme Vouillon
 License: GPL-2+
+ These programs are free software; you can redistribute them and/or
+ modify them under the terms of the GNU General Public License as
+ published by the Free Software Foundation.  License, or (at your
+ option) any later version.
+ .
+ These programs are distributed in the hope that they 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.
+ .
+ On Debian systems, the full text of the GNU General Public
+ License version 2 can be found in the file
+ `/usr/share/common-licenses/GPL-2'.
 
 Files: dgraph.ml dgraph.mli viewer/*
 Copyright: 2010 Jérôme Vouillon

-- 
coinst packaging