gringo_5.3.0-4_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Thu, 22 Nov 2018 07:26:25 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.3.0-4
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.3.0-4) unstable; urgency=medium
 .
   * debian/tests/gringo{0,1,3,4}: fix integer atom mappings
   * NEWS.Debian: fix link to aspif description
Checksums-Sha1:
 26515dda10cc161036a84334a237a84b79cc7d1b 2093 gringo_5.3.0-4.dsc
 a47e2d52a29f496b7e6ca4581937fa4f303e2b41 18148 gringo_5.3.0-4.debian.tar.xz
 110543931b35e26231081b97edc321a90705bf90 8045 gringo_5.3.0-4_amd64.buildinfo
Checksums-Sha256:
 ac5f79a057568eb84edafdc68a347cb1401033f250afbabd820c9ec4000e4f3c 2093 gringo_5.3.0-4.dsc
 e0b15c5fba3104cd9ded82f07cbe54b3ec1590137a72e7ea24c3775fa1bf0364 18148 gringo_5.3.0-4.debian.tar.xz
 fee30eb846a77cbe890fef1fbcb3fb1391213ea54411f776ece65b003dc4ce6b 8045 gringo_5.3.0-4_amd64.buildinfo
Files:
 ad55c92d64aff99f4ffc66692e720454 2093 interpreters optional gringo_5.3.0-4.dsc
 f2b5cc84957851f1e6fbb9bf8d8209f5 18148 interpreters optional gringo_5.3.0-4.debian.tar.xz
 aaef676d14ffe263d8cdec66e496d6bf 8045 interpreters optional gringo_5.3.0-4_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlv2UZAACgkQJ5ffdKZm
mqnBag/9ELc+/weQeD29+4GFZcda1BJjCTwWEh9u3W6QjCujAolBh7P2hFVNUXQP
4MQyprlTC8qUuWF0gYscM/wXWvvcZYqvR21L1qYfg3O3EQOoF1NFtlD6lAojzirg
gW/ZVfu0Ky+whkKPNnFEiN7eWyKOpeAsnuhWpLCyKywoT7PtixQ74sRPpLwovG9/
JYqjW/7DdnwcwSz0BcqkbtoFNzQ3waCPnzoyu99gB+3uctdO7YO3/yckSPzNeNj3
oVt84ifde/LI4R2fDPjP9X73KWJeoSf/BKMrkKYied4sEqumE6T+MD1z2VVffkky
b2WO78oqpcCLOg4xfbbKxcu3ZMMsLHQOsjGAyhK4eiF4q3a+GyB92hPJoq2WZXsN
a80SQoOqimqdybBoGOZFkMuTuk+H91cKw65EhXEwHWY6IQYARCzJZBDeOWrl5t9T
Z+1Zan+wSXDE9CfTo6of+bqHnsb59fvWgDbmzRzqMuEMApqvX2PGdnDXk5tFZQIB
khvOoADxc1KMnVrH+9KvxNE1zWZzF06T0UVjKSJUy8l1xFM642kbso/OzPl+dMiC
R5nWims8Hky3v5ODGFYoLqCQdPmWsN5n3ur78kgjFAivMHeyZIj/0Ot/CnmLS2Tn
LcakZDbH6nn5Du4pInUsyAQLIb06nGZe/dgBFlSmMrVypBOHzoY=
=GnF2
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.