[Pkg-ocaml-maint-commits] r6025 - /trunk/packages/why/trunk/debian/copyright

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Tue Nov  4 15:46:08 2008
New Revision: 6025

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6025
Log:
New licence for why: GNU LGPL 2.1
A small typo in upstream's tarball : "GNU Library General
Public License" should be "GNU Lesser General Public License"
Waiting for his answer…

Modified:
    trunk/packages/why/trunk/debian/copyright

Modified: trunk/packages/why/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/debian/copyright?rev=6025&op=diff
==============================================================================
--- trunk/packages/why/trunk/debian/copyright (original)
+++ trunk/packages/why/trunk/debian/copyright Tue Nov  4 15:46:08 2008
@@ -5,26 +5,29 @@
 
 Upstream Author: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre at lri.fr>
 
-Copyright (C) 2002-2007 Jean-Christophe Filliâtre
+Copyright (C) 2002-2008 Jean-Christophe Filliâtre
 
 License:
 
-   This package is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2 of the License, or
-   (at your option) any later version.
+   This software is distributed under the terms of the GNU Library General
+   Public License version 2.1 (included below).
 
-   This package 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 General Public License for more details.
+   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.
 
-   You should have received a copy of the GNU General Public License
-   along with this package; if not, write to the Free Software
-   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
-
-On Debian systems, the complete text of the GNU General
-Public License can be found in `/usr/share/common-licenses/GPL'.
+On Debian systems, the complete text of the GNU Lesser General
+Public License can be found in `/usr/share/common-licenses/LGPL-2.1'.
 
 The Debian packaging is (C) 2007, Samuel Mimram <smimram at debian.org> and
 is licensed under the GPL, see above.