gringo_5.2.2-5_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Mon, 05 Feb 2018 07:39:21 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.2-5
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.2-5) unstable; urgency=medium
 .
   * fix FTBFS with gringo-python3-utf8.patch
   * debian/rules: report ctest logs in case of error
Checksums-Sha1:
 ec83549c65782147ae73721ce79ecff85864119e 2068 gringo_5.2.2-5.dsc
 893db4e04f120d831cea4b046f935a7e4dd581c4 13912 gringo_5.2.2-5.debian.tar.xz
 e74141d5b186ead67a807f3f2af8aa82b910f921 7877 gringo_5.2.2-5_amd64.buildinfo
Checksums-Sha256:
 2f568cdb1dc209ebc15723860654c4ce0b105001c1507563c49015cd0716637f 2068 gringo_5.2.2-5.dsc
 aa72ac8ef54e94b98bf7560238b5114c0d60540e15f4f104458375c20ef7e4d8 13912 gringo_5.2.2-5.debian.tar.xz
 fb8eb5667d3c7ecfe2d862b666c8efbb1603cadcf1c3dc2f94db3eccec4372ed 7877 gringo_5.2.2-5_amd64.buildinfo
Files:
 92a315a10f97fdd69e938aae1d82680a 2068 interpreters optional gringo_5.2.2-5.dsc
 a3162c653e668aaa8d61c418135304a1 13912 interpreters optional gringo_5.2.2-5.debian.tar.xz
 fced12627472fe7f326fa050057b0b85 7877 interpreters optional gringo_5.2.2-5_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp4AIMACgkQJ5ffdKZm
mqk2zg//e1GRY96Ayf/PfOZiq+qA1v55Bu4WShmJUNyeSLALLMkdF41w2hRCr//F
BVRz6x5+ok8LyxM+EhOU8I3eqk8p3ekiyU/BHS0UaiWRL4xEXww51ORc0Z+iUc2+
kjhwso2uPKf+ZITUSPheKOi9spuCEp0kmAR003xWRxU9TD2YFjjCtzgQhv0yRhhh
GgbBVb3+zA+LxfIsTOQy+zHfOCLdQAJXBLOzQY3hNSoh0kPgTJ6Fj1lgzjHaNCY4
hxlb/vbOf1jzqosnEVCdrtG/tiPoquWH2z7Rjz+lrs9UP2B284Rtgyqa8YCUXmrf
YhBX0YDtrm1ZdA4kvcemhzYuEOnhuyJLPA9UTMXLEPVPn6R6xLFQCgLLuLMsTCQs
iAkqY0wf4agC0IM/+nNpXoO8k3KByZ03kvHSbYWlcPU3y3mgdgd3lN+nM2xrIGoi
gf6TD7wXWaeBcvQUXCE8bzCp8d/MH+XnRIBJAYxrAhlzxtkL1ykRyeubwGtmvM5N
0DoeNzrWJiZQHKx5Fjtu6l+OrScgNHEwBAFDGgwaPgxTeS2J5qzCUcJJjXlcSuN/
u7C9kbE+H9JnCsN8n5kHuVi+5kYdS5Bnj4kxfqUBI05rVAUPd+dAZWo0ZB0Utgh/
JkQtgSbGQkVo2fRu5uTX4p8CY18vCEAMH2FhL6P5vWl9z6SdP2o=
=aqh0
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.