-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 03 Jul 2018 06:23:44 +0200 Source: gringo Binary: gringo Architecture: source Version: 5.2.3-2 Distribution: unstable 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 Changes: gringo (5.2.3-2) unstable; urgency=medium . * debian/symbols: batchpatch symbols Checksums-Sha1: d321e29268d4e26229ed439a71873f61f2c6d8bc 2087 gringo_5.2.3-2.dsc 4d9e288b7ca1a24a68f9bf94dfc8bba2610c5224 14848 gringo_5.2.3-2.debian.tar.xz 155aab2c15f63be062cf0eb1698eb98ab5b0b015 8159 gringo_5.2.3-2_amd64.buildinfo Checksums-Sha256: 5886ec0ac7d87e5cd651ede9ec5dab1abe6f4f9f2cf976271829ff023d82995c 2087 gringo_5.2.3-2.dsc 993c92678a7ba5f89ae632b43e7782954a9a36a9e10faf1321f564d95fd1d34e 14848 gringo_5.2.3-2.debian.tar.xz 86837365621dd2bef971aa8b370ff3c05e64eaec7234830c56c5ed7f3dbdba92 8159 gringo_5.2.3-2_amd64.buildinfo Files: ac9953e1942b76b83e572fc42e6e4b2b 2087 interpreters optional gringo_5.2.3-2.dsc 911642e027c46d93ae130db2c6426154 14848 interpreters optional gringo_5.2.3-2.debian.tar.xz 35cc1c4be265bebc6137498723b081e0 8159 interpreters optional gringo_5.2.3-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAls7AjEACgkQJ5ffdKZm mqmfnQ/8CHB0VFTMUJTgvqRU4kK63lIM9AAyBtceU3xcRPGTF8jicAF4qsZOGdz7 yvUEW2DwDKcV//eKYvnbjKps6wl5XJo8PvllPgnGC9JuJ3I+Q/66uy8EsGpwqUJM phwwTpbxOtyrTO1gMx+2sUe2uruPzZqoqQPWk6GZsTTL/shYBq8FtDB0SZNVxm/7 5Au0cfylhlwzd6mErhDRRGBITHn9OmUBMvAStQuO86Ak4RZxVN0ECIBAAGYRfF/c 5rwwT1FCT/huUwP2dzu3J1kiq4i86Wv5q6Oh6U6svuxdA58qFikl8g8PFpBgU8sV oJTS7G3y98pjJaWasLBtiKHVARyPtdDkl/Y+3G315NG/n8ujoBGWaEKKXzSA+A0g ltp3GIL78Jt8QT6fFN9NHVcywNY/eSaiMFYA6h5hATtxBqwdStNCadWmMKdgBaGp uFaVasDaEKh+qwI23FOCT8ZxFTVAaOGBP3Xydr3zI77eeO5S1Y9NViode9HJfpje V7RA8GJlAxxN5kg9NNXvEowhhzUb7W/YCswGgNvA10E4t0Zda5A9VVHyHbRbeTfO WIQjWxdcwq6Y3uuouMhoYR/DSkrufLdDiMrQinmvUondnVyA5i7HpDRGqyEFbrMu hNPy4vWNcOxFr/Z45S7H/RjhI0R8Yq6VqUHNpWQm6ZHcmJhIYDU= =Ajvc -----END PGP SIGNATURE-----
