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