gringo_5.2.3-3_amd64.changes ACCEPTED into experimental

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 04 Nov 2018 08:34:30 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.3-3
Distribution: experimental
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
Closes: 912552 912582
Changes:
 gringo (5.2.3-3) experimental; urgency=medium
 .
   * debian/control: bump Standards-Version to 4.2.1
   * Bug fix: "gringo build-depends on legacy compiler g++-7", thanks to
     Matthias Klose (Closes: #912582).
     - debian/control: Build-Depends on g++-8
   * debian/symbols: update amd64 symbols for g++-8
   * Bug fix: "gringo ftbfs with Python 3.7", thanks to Matthias Klose
     (Closes: #912552).
     - debian/control: Build-Depends on python3.7
     - gringo-python37-async.patch: rename async keyword to async_
Checksums-Sha1:
 68a6b4126903fa86a1f87fa2de041c6835f99b11 2093 gringo_5.2.3-3.dsc
 3d3f6bcbf4ea016a27b5fc364f1b0ab7b524583e 17296 gringo_5.2.3-3.debian.tar.xz
 eba3cca4e6a0118990679d686f3705f2768c6169 8472 gringo_5.2.3-3_amd64.buildinfo
Checksums-Sha256:
 0232b593d6cb358201ef79eff8d110495d63843077baf5d72ee66641403e2269 2093 gringo_5.2.3-3.dsc
 964d954db081a540360347510136320315b3912cba6649f8f47139d4b35e66f2 17296 gringo_5.2.3-3.debian.tar.xz
 10e66ba52c4e2a24925c7268adb80ab515ace359e2dba1ab5ee39514ada20118 8472 gringo_5.2.3-3_amd64.buildinfo
Files:
 2ae8b2535e0be344ddd056c70dee61da 2093 interpreters optional gringo_5.2.3-3.dsc
 6128b19fe32a0965d1a0ae94614d2f95 17296 interpreters optional gringo_5.2.3-3.debian.tar.xz
 0646ceaa09c2319ad4f69adc1ea088e1 8472 interpreters optional gringo_5.2.3-3_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvexm4ACgkQJ5ffdKZm
mqliIQ/9HdgX+XpCGS0O2kXmwCYubhuAL2CEMKvDBzsMnakL/lvDgWBvbnlMBD6g
jFevs2SdNfIK+GWzljcDu+SGM5nAWgKMcybsAtWva1sdy80DjVYdJlRtEYypZIeK
PKhPSITEVuvfNXWp9xBHEtIZBlAAOA7FjteIkg2g/ARqDhl6pWtzQve8/8TAhaGY
e62Bq8AV31JRX6pNMZIH6SpFkOCa+GOwgOfaSahodJakHEVe3cT173jkLOQ+Ziig
D5SUsPCdNGIZlf2/93Yy5nIv6ZvrwHBZph+sUHo+l1KVQWNpua4jM2hd4HtoXGPM
3ycyi9sRghDIC5IBZyGt6PeMVqCku7oWmL/kdJkpad9Chv4E0ude0A0c91m7zAq9
tG3t45ebi2UeP8jJKvJvxnJIAW+HVtDcPm3+JzONSLxVpXVslu3si9O6MzheFx5R
m6FEe1TvmYVNUnwtXNfhfixTAqirmF1n4XOd040i6G4TGqaEgg7/O5mrcYNFqbYW
SyO0FF/nRZXHQSIMFvq3K1JJ/tigIBhSMnhQd2Sg+e60M5hVXo4KRH16/5YI7HbR
gf12vXyUF+hOLTglJ+ddSOvhyJemhbK47L7KcgAmpJ3vKH43OqFjVgn0qdN6Anjo
oySK2ZDliXw2lHA95zZfB1YaGN2+scz7Jb8XZrNXRIHCP4ydE78=
=Ajb0
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.