Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Contact: Jean-Christophe Filliâtre
Source: http://www.lri.fr/~filliatr/software.en.html

Files: *
Copyright: © 2000 Jean-Christophe Filliâtre
License: GPL-2

Files: debian/*
Copyright: © 2006-2007 Georg Neis <gn@oglaroon.de>
           © 2009 Stéphane Glondu <steph@glondu.net>
License: GPL-2

License: GPL-2
  This software is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public License version
  2, as published by the Free Software Foundation.
  .
  This software 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.
  .
  On Debian GNU/Linux systems, the complete text of the GNU General
  Public License can be found in `/usr/share/common-licenses/GPL-2'.
