gringo_5.2.1-4_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sat, 04 Nov 2017 14:55:24 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 5.2.1-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.2.1-4) unstable; urgency=medium
 .
   * debian/symbols: fix FTBFS on armel
Checksums-Sha1:
 5edf83616191ef567147760016e5d0db16bc4abc 2077 gringo_5.2.1-4.dsc
 7ab97fee73d5a8a58392c7d6ccfd85eac62618d2 13064 gringo_5.2.1-4.debian.tar.xz
 8e3e8bd13ac730c25b36bf113b645a45e4978435 23244340 gringo-dbgsym_5.2.1-4_amd64.deb
 c65e8f09d9048417fbdfc6d90c2a8448377b707a 7857 gringo_5.2.1-4_amd64.buildinfo
 6dada920f98c1ffab38a340a1bf3c2863ade5947 2187764 gringo_5.2.1-4_amd64.deb
Checksums-Sha256:
 c1490fde13e6e47c32ffe844b78da7afac3b0e8bec4fe0a1f9e8398aae8875a0 2077 gringo_5.2.1-4.dsc
 5b4791ecf22ee374184ff78bf0d30e219c08dbc5392231ff76f7edcdeae90a9d 13064 gringo_5.2.1-4.debian.tar.xz
 2ed442359cd1054d9ffa0117a355872490ffac668c5a173a11bdeb5bca95c12f 23244340 gringo-dbgsym_5.2.1-4_amd64.deb
 1b164a04a21f9c98b789d3d2178cb6663f24ac25d6ea4952a6ee7328df5bf2c1 7857 gringo_5.2.1-4_amd64.buildinfo
 60ca3c7ae35a1166d21930d249554095321c1151e9c956cf0aca31d0bade60b3 2187764 gringo_5.2.1-4_amd64.deb
Files:
 5b4375b3d839ed0c2eb30ab1f85ad420 2077 interpreters optional gringo_5.2.1-4.dsc
 c024b2914d8aee1cf312af3f029e9af9 13064 interpreters optional gringo_5.2.1-4.debian.tar.xz
 71f8f8a7174f48ebf4961193df52f810 23244340 debug optional gringo-dbgsym_5.2.1-4_amd64.deb
 619bbcb3182699796e7897b04d0ac81a 7857 interpreters optional gringo_5.2.1-4_amd64.buildinfo
 ad1676405099b13a8770f195e38c7306 2187764 interpreters optional gringo_5.2.1-4_amd64.deb

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln9x8wACgkQJ5ffdKZm
mqmQ5Q/9Hrea829laMHCsBdq6U61Aeyq2xdnZjfUhC8iavGycYE45G5T37mgF0OQ
jYSOQu/WEhh4Pyf1kKatIWKQHPCDXw3Zw0fNgEJp5RQ4stHM0EFvkzO1OyYyv+Nu
EyZflksRVTFJwJLTnD2IhLe+qKZlEmhyzd8ZnLtxgf0uSYHsrJ/+BlErbWElhWwn
+2Fldj1qbuDXt9PIq13WWz13QGv/GcCGB6A3H76x3/TGjarikJgmAcRI/ZeOBBgU
/KBhWHBb+A2nCagS1jWWWFCdM5YO260jy6b10LOxb0y1e2ePD1CIyOIbW9LiUq2T
34k1jX8PeN8cYA4krl8lxuDx+8TR4Gms/8WNxWZ74axAGuGDn06Mdo4DyituI9L8
jcJ2/0Xt+pkJUfAksopld6Omk4rCu66O1sKjJiZ2UOzspySOxbyMmRLxlrbBiin0
eJWcrvzZrtfUhixdDCgoY9Y2/ob87jpRhd9y/ecEdM1UkFUEL/Q/aBcZol9fKZi5
JJL4sSH/1FnfZGE+Ki0+/ccQgYYPbiBc+l6d7ccGOO+jDUPZmq1I42Jg97+OxJ2J
DOAYnZLUfFQjYfZxh55Lc0ezEmfnWe01Uyim0J2CqHV58MgmxMUU64VtpIQSkJKd
05TuZEOmTQEnZkO3NbnXUe9QzBEW1b2v54zWfOMK66WwpWLLkZY=
=4hu4
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.