gringo_5.1.0-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 11 Dec 2016 13:12:35 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (5.1.0-1) unstable; urgency=medium
 .
   * New upstream version 5.1.0
   * debian/copyright: update copyright year and github source
   * debian/control
     - Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
     - point Homepage to https://www.potassco.org
     - use https for Vcs-*
     - add Breaks clasp (<< 3.2.1-1)
   * debian/rules
     - build lpconvert
     - drop libtbb-dev and use c++11 multi-threading
     - disable threads on powerpc,powerpcspe,m68k,mips,mipsel,sh4
   * drop already applied upstream patches: gringo-include-math.patch,
     gringo-solve-multi.patch, gringo-translate-minmax.patch
   * gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
     cherry-picked from d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Checksums-Sha1:
 aed5f19807ced56008f250ccf62390f29433e030 2023 gringo_5.1.0-1.dsc
 6025b97e64de4f938c76c98d2e3b6e0a0c366c1f 2232639 gringo_5.1.0.orig.tar.gz
 6c0c294d7ca6ee9a8a9159f2d43970b1946e2d19 11184 gringo_5.1.0-1.debian.tar.xz
 e53ce77b010bd1b9c9f0f4a4fc650822ff674980 36040320 gringo-dbgsym_5.1.0-1_amd64.deb
 f1b982fbdd7da2efc9d004d6263537c83ed2baa0 5744 gringo_5.1.0-1_amd64.buildinfo
 7aa830f525d6cbd62c2441aa246a324de2e0a76e 2357028 gringo_5.1.0-1_amd64.deb
Checksums-Sha256:
 f55c1be6daf6cebc81aab34e7e5454c14c806c28f7d880162078b4252f8406c5 2023 gringo_5.1.0-1.dsc
 c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a 2232639 gringo_5.1.0.orig.tar.gz
 80293b9dc96c44e755226a3573e5767b16b17bd82066818c7064bc75879b5d51 11184 gringo_5.1.0-1.debian.tar.xz
 b8a825f3362b6e24b614a1d2a9e7c6c2ed6570dae39506c52f3c22547d28c390 36040320 gringo-dbgsym_5.1.0-1_amd64.deb
 419be22c920960ce7c74e45b9e7c6f6becf4b3aae6934a5d52838379ed4c6537 5744 gringo_5.1.0-1_amd64.buildinfo
 e5da8c446e25801cddb5c90004dd20684a05aa07ede78ae74f9f2862b02e9fa3 2357028 gringo_5.1.0-1_amd64.deb
Files:
 7d7d132acf49fb9d96eac1e50b276d4b 2023 interpreters extra gringo_5.1.0-1.dsc
 1992f9874255d770a842ae8f0e1a24a9 2232639 interpreters extra gringo_5.1.0.orig.tar.gz
 b9e093cd94b17c585a63afab820d7df2 11184 interpreters extra gringo_5.1.0-1.debian.tar.xz
 9822602b5d646cb40a40702589a7d6ac 36040320 debug extra gringo-dbgsym_5.1.0-1_amd64.deb
 178ac06519aa29e6504580120623a37b 5744 interpreters extra gringo_5.1.0-1_amd64.buildinfo
 b2464438eaf0d3951ed9ed0803c64885 2357028 interpreters extra gringo_5.1.0-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhNcNYACgkQJ5ffdKZm
mqlk8w//Q2WO+6A//UYPmfY/ScT+IVVVVMzFFKY0OxEMpAWsMlp9jfMp467wf0O1
6jTjlGigHQ3baAEoE1N6Z6I38Asx13ORt7tFM7WTy+HoUsB1v02Go05k7VbNCAr5
c7hz6aoBJl1FMb71jzvBtA6XfmIw/azsARrB+OZqamIxFALKd8AGm6EWhkOV9u4e
Gq0T0gXUASf5/sKtufyxVaLAJEdBm0aJRqaulLdN+XQWLj2UHaAjZnNPtPLj6ICO
Cp3xoIs0RFgJIJSPbfly9q+YDAHac3XHHLtD5E/PrzTADQhmqIjNCMdml+jEAth5
1otNASWz/jmG76ZgjPZ/8SkAQv3idWfKTtgSiV0VO57ZdtBJFOnB/6n0DD1pXrt0
j/usqEcx63y43ZHOn4EH8SPbzxsW+ftm0Ec3wMwpWNwddjqXzE2A3xR3RwDYTO2/
x2dVOXmWZnH7Z2eqzkI5iJfkNjUEYEqWGK4y5+oqSR5jHeGI3P+a4Isb3qqwgjG0
355ZHy3YAEt0AfeKPDGUlU+5ydUvhYSCACNxuVbydErd97/rhUZfUPRGi5tdtCRs
MbM7/iF5CKR/gcRAToVl2PvDgno3qXis3U+tYP1mrmG28aIQMfw1vfMxWYmJr4Mo
ojOhkVfFhggp68PO6+3OO+5uJaWGf+JfPtkax0EnVVFEY+7yFL4=
=/ZyO
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.