[gringo] 03/20: debian/copyright: update copyright year and github source

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 525b528f7c0338c18d0d6ab0f5b7b542634c6d7f
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Fri Dec 9 08:38:00 2016 +0100

    debian/copyright: update copyright year and github source
---
 debian/copyright | 172 ++++++++++++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 158 insertions(+), 14 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index af8be73..57aa1f6 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,44 +1,189 @@
 Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: gringo
 Upstream-Contact: Roland Kaminski <kaminski at cs.uni-potsdam.de>
-Source: http://sourceforge.net/projects/potassco/files/gringo/
-
+Source: https://github.com/potassco/clingo/releases
 
 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
+Files: app/*
+Copyright: 2013, 2015, 2016, Benjamin Kaufmann
 License: GPL-3+
 
+Files: app/cexample/*
+Copyright: 2008-2013, Roland Kaminski
+License: GPL-3+
 
-Files: app/*/src/main.cc
-Copyright: 2013, Benjamin Kaufmann
+Files: app/clingo/*
+Copyright: 2008-2013, Roland Kaminski
 License: GPL-3+
 
+Files: app/clingo/src/*
+Copyright: 2013, Roland Kaminski
+  2013, Benjamin Kaufmann
+License: GPL-3+
 
-Files: app/clingo/src/clasp/clasp_app.*
-Copyright: 2006-2012, Benjamin Kaufmann
+Files: app/clingo/src/clasp/*
+Copyright: 2006-2016, Benjamin Kaufmann
 License: GPL-2+
 
+Files: app/clingo/src/main.cc
+Copyright: 2013, 2015, 2016, Benjamin Kaufmann
+License: GPL-3+
 
-Files: debian/*
-Copyright: 2010-2015, Thomas Krennwallner
+Files: app/example/*
+Copyright: 2013, Roland Kaminski
+  2013, Benjamin Kaufmann
 License: GPL-3+
 
+Files: app/gringo/*
+Copyright: 2013, Roland Kaminski
+License: GPL-3+
+
+Files: app/reify/*
+Copyright: 2013, Roland Kaminski
+License: GPL-3+
+
+Files: debian/*
+Copyright: 2010-2016, Thomas Krennwallner
+License: GPL-3+
 
 Files: libclasp/*
 Copyright: 2006-2014, Benjamin Kaufmann
 License: GPL-2+
 
+Files: libclasp/clasp/*
+Copyright: 2006-2016, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libclasp/clasp/parser.h
+Copyright: Benjamin Kaufmann
+License: GPL-2+
+
+Files: libclasp/clasp/util/hash_map.h
+Copyright: 2006-2014, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libclasp/src/*
+Copyright: 2006-2016, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libclasp/src/parser.cpp
+  libclasp/src/solver_strategies.cpp
+Copyright: Benjamin Kaufmann
+License: GPL-2+
+
+Files: libclingo/*
+Copyright: 2013, Roland Kaminski
+  2013, Benjamin Kaufmann
+License: GPL-3+
+
+Files: libclingo/tests/*
+Copyright: Roland Kaminski
+License: GPL-3+
+
+Files: libclingo/tests/catch.hpp
+Copyright: 2012, Two Blue Cubes Ltd.
+License: BSL-1.0
+
+Files: libclingo/tests/variant.cc
+Copyright: 2008-2013, Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/*
+Copyright: 2013, Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/clingo.h
+  libgringo/clingo.hh
+Copyright: Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/gringo/symbol.hh
+Copyright: Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/src/control.cc
+  libgringo/src/symbol.cc
+Copyright: Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/src/output/literal.cc
+Copyright: 2008-2013, Roland Kaminski
+License: GPL-3+
+
+Files: libgringo/tests/catch.hpp
+Copyright: 2012, Two Blue Cubes Ltd.
+License: BSL-1.0
+
+Files: liblp/*
+Copyright: 2013, 2015, 2016, Benjamin Kaufmann
+License: GPL-3+
+
+Files: liblp/potassco/theory_data.h
+Copyright: 2006-2016, Benjamin Kaufmann
+License: GPL-2+
+
+Files: liblp/src/theory_data.cpp
+Copyright: 2006-2016, Benjamin Kaufmann
+License: GPL-2+
+
+Files: liblp/tests/catch.hpp
+Copyright: 2012, Two Blue Cubes Ltd.
+License: BSL-1.0
 
 Files: libprogram_opts/*
-Copyright: 2004, 2010 Benjamin Kaufmann
+Copyright: Benjamin Kaufmann
+License: GPL-2+
+
+Files: libprogram_opts/program_opts/*
+Copyright: 2004, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libprogram_opts/program_opts/detail/*
+Copyright: 2010, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libprogram_opts/program_opts/mapped_value.h
+  libprogram_opts/program_opts/value_store.h
+Copyright: 2010, Benjamin Kaufmann
+License: GPL-2+
+
+Files: libprogram_opts/src/value_store.cpp
+Copyright: 2010, Benjamin Kaufmann
 License: GPL-2+
 
+Files: libreify/reify/util.hh
+Copyright: 2013, Roland Kaminski
+License: GPL-3+
+
+Files: libreify/tests/catch.hpp
+Copyright: 2012, Two Blue Cubes Ltd.
+License: BSL-1.0
+
+License: BSL-1.0
+ Permission is hereby granted, free of charge, to any person or organization
+ obtaining a copy of the software and accompanying documentation covered by
+ this license (the "Software") to use, reproduce, display, distribute,
+ execute, and transmit the Software, and to prepare derivative works of the
+ Software, and to permit third-parties to whom the Software is furnished to
+ do so, all subject to the following:
+ .
+ The copyright notices in the Software and this entire statement, including
+ the above license grant, this restriction and the following disclaimer,
+ must be included in all copies of the Software, in whole or in part, and
+ all derivative works of the Software, unless such copies or derivative
+ works are solely in the form of machine-executable object code generated by
+ a source language processor.
+ .
+ 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, TITLE AND NON-INFRINGEMENT. IN NO EVENT
+ SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
+ FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
+ ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+ DEALINGS IN THE SOFTWARE.
 
 License: GPL-2+
  This program is free software; you can redistribute it
@@ -62,7 +207,6 @@ License: GPL-2+
  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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git