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 © 2009 Stéphane Glondu 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'.