[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. upstream/20081201-5-g268f725

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 268f725799207e8c107a399d6b60f04d98bd443a
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu May 14 11:14:05 2009 +0200

    Shorter header and updating packaging license

diff --git a/debian/copyright b/debian/copyright
index 8922620..ae30b2b 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -665,7 +665,7 @@ That's all there is to it!
 
 Files: debian/*
 Copyright: © 2008 Mehdi Dogguy <dogguy at pps.jussieu.fr
-License: GPL-3+
+License: LGPL-2.1
 
 The Debian packaging is (C) 2008, Mehdi Dogguy <dogguy at pps.jussieu.fr> and
 is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
diff --git a/debian/man/template.xml b/debian/man/template.xml
index 19f89df..3b53ef5 100644
--- a/debian/man/template.xml
+++ b/debian/man/template.xml
@@ -8,26 +8,12 @@
 <!--**********************************************************************-->
 <!-- frama-c/frama-c-gui manpage                                          -->
 <!--                                                                      -->
-<!-- Copyright (C) 2003-2006 Sylvain Le Gall <gildor at debian.org>          -->
-<!--                    2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>         -->
+<!-- Copyright (C) 2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>              -->
 <!--                                                                      -->
-<!-- This library 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.1 of the License, or (at your option) any later version;   -->
-<!-- with the OCaml static compilation exception.                         -->
+<!-- You have permission to copy, modify, and redistribute under the terms-->
+<!-- of the GNU LGPL-2.1. For full license terms, see                     -->
+<!-- `/usr/share/common-licenses/LGPL-2.1'.                               -->
 <!--                                                                      -->
-<!-- This library 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 library; if not, write to the Free Software  -->
-<!-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,               -->
-<!-- MA 02110-1301, USA.                                                  -->
-<!--                                                                      -->
-<!-- Contact: dogguy at pps.jussieu.fr                                       -->
 <!--**********************************************************************-->
 
 <refentry>

-- 
frama-c packaging