Accepted gringo 5.2.3-2 (source) into unstable
-----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-----