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