Packaged-By: Georg Neis <gn@oglaroon.de>
Packaged-Date: Sun, 31 Dec 2006 00:41:06 +0100
Upstream-Author: Jean-Christophe Filliâtre
Original-Source-Location: http://www.lri.fr/~filliatr/software.en.html

Files: *
Copyright: © 2000 Jean-Christophe Filliâtre
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'.

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