Accepted gringo 5.2.3-5 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 08 Nov 2018 04:35:55 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.3-5
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-5) unstable; urgency=medium
.
* debian/symbols: batchpatch alpha, mips, mips64el symbols for g++-8
Checksums-Sha1:
0c0c2a1af671cc8ff49c85eb802b87a0eaf30571 2093 gringo_5.2.3-5.dsc
7ae1ab41f48b0a85aa82992df48e1876384cb078 17512 gringo_5.2.3-5.debian.tar.xz
5149cdd09ea518fa30580ff137d20a4c6f41432a 8131 gringo_5.2.3-5_amd64.buildinfo
Checksums-Sha256:
b55531dc412094be52626e7c0b3afabd30e571296aca179c41ea044888365c45 2093 gringo_5.2.3-5.dsc
5946e9b9a7b27de938742e9e0a3484c34c24b05d208d05b5a5a606c2b05de051 17512 gringo_5.2.3-5.debian.tar.xz
64e502313bdd02d2d25484cf696e96580c00aad999133a98c36778b166a1bbac 8131 gringo_5.2.3-5_amd64.buildinfo
Files:
d693fb98307f1b6976ec24a060729aab 2093 interpreters optional gringo_5.2.3-5.dsc
75382198f9f1fbc652eadaeda65b042e 17512 interpreters optional gringo_5.2.3-5.debian.tar.xz
1bdae6a4719ec6e75320655e4970973d 8131 interpreters optional gringo_5.2.3-5_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvjuK4ACgkQJ5ffdKZm
mqmKvg/8CTILMk4ruJcUpewic/z6zELfqdbui0ExFxINx4IquuV9M6Gk3dSLHCSk
ZoKDdf7EVXvA/hLLIlzNhCLU9ZN85USIydIfaaPDeCsKwL//cjrZog5P8mz7omYw
THmXwdMrjEJgkHjgkqnApyjoXflHusHUcLjBEn922y9WtUZri5C30KNrrCVvQq+N
aui1Bam612fV3XIGqlzUR6Zg3wKzTrMDarcy2TDMvRYR6wKY+Rx0ZqNDSnzY8Uqa
SdGGSa3weqjZjfdHeY2v0UukWL2f+rhBwS6Tx/4xHVdbAS3qDa7Ku++DHSLqX1m4
6Adv/WTz6Aq7DaXJ+LjbYeyAOUQzT3lycBpxXaOp1rW+31/Zidr4qHqubYdphwvv
T5yFxDyfRJtqS59GiVUpLviZ/R+xzZP2X86000cRTfFJl2cG9csmj1e3v8mGzaAh
fD4mIH/8Y4qoNptsaF1qSE1BcUkPlFoaxNxUHuDUy8JGo6Vyv+ea+tIBf4+XAi5j
OPNCED0MQEun+CdaGvz/MHLuZPGmaFGTLANjJ2p49JFsw6UuRiHzG7Bglwy7znvq
1lVvWF6rJaMP5ezop4lDNrpxkYVCJXy+vAKlwi9dx9uvG4wbhGjOz5RbMKBkZ1tZ
VCGoPmmF/QpI5Cfp753+/nAOTpm9KIrnZGfKupeLMSu3UF9YybQ=
=cvwN
-----END PGP SIGNATURE-----