Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: gringo
Upstream-Contact: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Source: http://sourceforge.net/projects/potassco/files/gringo/


Files: *
Copyright: 2008-2013, Roland Kaminski
License: GPL-3+


Files: app/shared/src/clingocontrol.* app/clingo/src/clingo_app.*
Copyright: 2013, Benjamin Kaufmann
           2013, Roland Kaminski
License: GPL-3+


Files: app/*/src/main.cc
Copyright: 2013, Benjamin Kaufmann
License: GPL-3+


Files: app/clingo/src/clasp/clasp_app.*
Copyright: 2006-2012, Benjamin Kaufmann
License: GPL-2+


Files: debian/*
Copyright: 2010-2015, Thomas Krennwallner
License: GPL-3+


Files: libclasp/*
Copyright: 2006-2014, Benjamin Kaufmann
License: GPL-2+


Files: libprogram_opts/*
Copyright: 2004, 2010 Benjamin Kaufmann
License: GPL-2+


License: GPL-2+
 This program 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 2 of the License, or (at your option) any later
 version.
 .
 This program 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 along with this package; if not, write to the Free
 Software Foundation, Inc., 51 Franklin St, Fifth Floor,
 Boston, MA  02110-1301 USA
 .
 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'.


License: GPL-3+
 This program 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 of the License, or (at your option) any later
 version.
 .
 This program 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 along with this program.  If not, see
 <http://www.gnu.org/licenses/>.
 .
 On Debian systems, the full text of the GNU General Public
 License version 3 can be found in the file
 `/usr/share/common-licenses/GPL-3'.
