Format: http://anonscm.debian.org/viewvc/dep/web/deps/dep5.mdwn?revision=174
Upstream-Name: gringo
Upstream-Contact: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Source: http://sourceforge.net/projects/potassco/files/gringo/


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


Files: app/clingo/clasp/*
Copyright: 2006-2007, 2009 Benjamin Kaufmann
License: GPL-2+


Files: app/clingo/timer.*
Copyright: 2006-2007, Benjamin Kaufmann
License: GPL-2+


Files: app/clingo/clingo_options.h
Copyright: 2009, Benjamin Kaufmann
           2010, Roland Kaminski
License: GPL-3+


Files: app/clingo/clingo_app.h
Copyright: 2009, Benjamin Kaufmann
           2010, Roland Kaminski
License: GPL-3+


Files: app/gringo/gringo_app.* app/gringo/gringo_options.*
Copyright: 2010, Arne König
           2010, Roland Kaminski
License: GPL-3+


Files: app/gringo/main_app.*
Copyright: 2009, Benjamin Kaufmann
           2010, Roland Kaminski
License: GPL-3+


Files: cmake/macros.cmake
Copyright: 2006, Alexander Neundorf
License: BSD-3-clause
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
 are met:
 .
 1. Redistributions of source code must retain the copyright
    notice, this list of conditions and the following disclaimer.
 2. Redistributions in binary form must reproduce the copyright
    notice, this list of conditions and the following disclaimer in the
    documentation and/or other materials provided with the distribution.
 3. The name of the author may not be used to endorse or promote products 
    derived from this software without specific prior written permission.
 .
 THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Files: cmake/FindLUA51.cmake
Copyright: 2007-2009, Kitware, Inc.
License: BSD-like License with advertising clause
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions
 are met:
 .
 * Redistributions of source code must retain the above copyright
   notice, this list of conditions and the following disclaimer.
 .
 * Redistributions in binary form must reproduce the above copyright
   notice, this list of conditions and the following disclaimer in the
   documentation and/or other materials provided with the distribution.
 .
 * Neither the names of Kitware, Inc., the Insight Software Consortium,
   nor the names of their contributors may be used to endorse or promote
   products derived from this software without specific prior written
   permission.
 .
 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 .
 ------------------------------------------------------------------------------
 .
 The above copyright and license notice applies to distributions of
 CMake in source and binary form.  Some source files contain additional
 notices of original copyright by their contributors; see each source
 for details.  Third-party software packages supplied with CMake under
 compatible licenses provide their own copyright notices documented in
 corresponding subdirectories.
 .
 ------------------------------------------------------------------------------
 .
 CMake was initially developed by Kitware with the following sponsorship:
 .
  * National Library of Medicine at the National Institutes of Health
    as part of the Insight Segmentation and Registration Toolkit (ITK).
 .
  * US National Labs (Los Alamos, Livermore, Sandia) ASC Parallel
    Visualization Initiative.
 .
  * National Alliance for Medical Image Computing (NAMIC) is funded by the
    National Institutes of Health through the NIH Roadmap for Medical Research,
    Grant U54 EB005149.
 .
  * Kitware, Inc.
 .
 This software is distributed WITHOUT ANY WARRANTY; without even the
 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 See the License for more information.


Files: debian/*
Copyright: 2010-2013, Thomas Krennwallner
License: GPL-3+
 This package was debianized by Thomas Krennwallner <tkren@kr.tuwien.ac.at>
 on Thu, 04 Mar 2010 19:47:14 +0100
 .
 On Debian systems, the complete text of the GNU General
 Public License version 3 can be found in `/usr/share/common-licenses/GPL-3'.


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


Files: libclasp/clasp/satelite.h
Copyright: 2003-2006, Niklas Een
           2003-2006, Niklas Sorensson
           2006-2007, Benjamin Kaufmann
License: MIT


Files: liblua/*
Copyright: 1994-2008, Lua.org, PUC-Rio
License: MIT


Files: libluasql/*
Copyright: 2003-2007, The Kepler Project
License: MIT


Files: libgringo/gringo/stats.h libgringo/src/stats.cpp
Copyright: 2010, Arne König
License: GPL-3+


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


Files: libprogram_opts/program_opts/detail/smartpointer.h
Copyright: 2004, Jean Gressmann
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'.


License: MIT
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the
 "Software"), to deal in the Software without restriction, including
 without limitation the rights to use, copy, modify, merge, publish,
 distribute, sublicense, and/or sell copies of the Software, and to
 permit persons to whom the Software is furnished to do so, subject to
 the following conditions:
 .
 The above copyright notice and this permission notice shall be
 included in all copies or substantial portions of the Software.
 .
 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
 IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
 CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
 TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
