Copyright for coq-float source package in Wheezy

Packaged-By: Samuel Mimram 
Packaged-Date: Fri, 10 Aug 2007 14:48:56 +0000
Upstream-Author:
  Laurent Théry ,
  Sylvie Boldo ,
  Laurence Rideau ,
  Laurent Fousse
Original-Source-Location: http://lipforge.ens-lyon.fr/www/pff/

Files: *
Copyright: © 2001-2002 Sylvie Boldo
           © 2001 Laurent Théry
           © 2001 Laurence Rideau
           © 2001 Laurent Fousse
License: LGPL-2+

  This package 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 of the
  License, or (at your option) any later version.

  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
  Lesser General Public License for more details.

  You should have received a copy of the GNU Lesser 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 Lesser General
  Public License can be found in `/usr/share/common-licenses/LGPL-2'.

Files: debian/*
Copyright: © 2007 Samuel Mimram 
           © 2009 Stéphane Glondu 
License: GPL-2+

  The Debian packaging is licensed under the GPL, see
  `/usr/share/common-licenses/GPL-2'.