-----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@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@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-----
