The following commit has been merged in the master branch: commit 6c00c0bda5b7a35e5da20a68c9c73ceb205a8d86 Author: Ralf Treinen <trei...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits