Copyright for opentoken source package in Trusty

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: OpenToken
Upstream-Contact: Stephen Leake 
Source: http://www.stephe-leake.org/ada/opentoken.html

Files: *
Copyright: 2009-2013 Stephen Leake 
           1999      Ted Dennison 
License: GPL-3+ with generic exception
 The OpenToken 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 3, or (at your option) any later version.
 The OpenToken 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. You should have received a copy of the GNU General Public License
 distributed with the OpenToken package; see file GPL.txt. If not, write to the
 Free Software Foundation, 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
 USA
 .
 As a special exception, if other files instantiate generics from this unit, or
 you link this unit with other files to produce an executable, this unit does
 not by itself cause the resulting executable to be covered by the GNU General
 Public License. This exception does not however invalidate any other reasons
 why the executable file might be covered by the GNU General Public License.
 .
 On Debian systems, the complete text of the GNU General Public License can be
 found in /usr/share/common-licenses/GPL-3 file.

Files: debian/*
Copyright: 2004-2008 Ludovic Brenta 
           2008      Reto Buerki 
           2009-2013 Stephen Leake 
           2013      Nicolas Boulenguez 
License: GPL-3+
 GNU GPL v3 or later, see  /usr/share/common-licenses/GPL-3.