Format: http://dep.debian.net/deps/dep5
Upstream-Name: coinst
Upstream-Contact: Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>
Source: http://http://coinst.irill.org/

Files: *
Copyright: 2005-2011 Jérôme Vouillon
License: GPL-2+

Files: dgraph.ml dgraph.mli viewer/*
Copyright: 2010 Jérôme Vouillon
License: GPL-2+

Files: debian/*
Copyright: 2012 Ralf Treinen
License: GPL-2+

License: GPL-2+
 These programs are free software; you can redistribute them and/or
 modify them under the terms of the GNU General Public License as
 published by the Free Software Foundation.  License, or (at your
 option) any later version.
 .
 These programs are distributed in the hope that they 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.
 .
 On Debian systems, the full text of the GNU General Public
 License version 2 can be found in the file
 `/usr/share/common-licenses/GPL-2'.