-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 11 Nov 2018 08:56:35 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-1 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 Changes: gringo (5.3.0-1) experimental; urgency=medium . * New upstream version 5.3.0 * drop upstream applied gringo-makefile.patch * refresh gringo-python37-async.patch with fcef335 from upstream * install libclingo.so.2.0 * debian/symbols: update to libclingo.so.2.0 Checksums-Sha1: 79984ec8d79b491a9834a9853eb7d3f48f3c6248 2093 gringo_5.3.0-1.dsc 1def58e947da5d28df48c6ecd822afd0a6b89a99 2684848 gringo_5.3.0.orig.tar.gz 1e211263049999c6eca55899e5264e61f0ddf37c 17492 gringo_5.3.0-1.debian.tar.xz 6cdb6e8ddb1b4bd613d6c2601a062e41405008f6 8167 gringo_5.3.0-1_amd64.buildinfo Checksums-Sha256: c7926c80b0004d691bfd40669c148c62b7da6b58bfdfdc41dfe30300264122ca 2093 gringo_5.3.0-1.dsc b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 2684848 gringo_5.3.0.orig.tar.gz e6f38e2c7450919a63415e34a8163b547953f46c53a95b9c934b65887e5fe76d 17492 gringo_5.3.0-1.debian.tar.xz a8e0f7aebdcf6e94d87296da380212214189edf1b0d0523e4d6314b52ae860fb 8167 gringo_5.3.0-1_amd64.buildinfo Files: c9ac42a29e0e3700e40b1ab89c0e3729 2093 interpreters optional gringo_5.3.0-1.dsc 05678e1c194a1ad776174d311d900738 2684848 interpreters optional gringo_5.3.0.orig.tar.gz ee4ecae43474f8875b5a166b6f90f9ef 17492 interpreters optional gringo_5.3.0-1.debian.tar.xz 290fd00126f4bf1f68f08ed0d31ba425 8167 interpreters optional gringo_5.3.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvoYsoACgkQJ5ffdKZm mqkoaA/+MuBxWFN8w2KpETdKHeIQ/HGNk7UqsYwj1sFKHIBMqMH0tXW6QMNopYGe AXi9GSo3YC7NG8ZNIYVdeWUHhc2zQDi8PHtfluZkAEErpIbIZAcJsaibmgAOvhfV b4aiVliGs73d5vEq80sBdnmip6IW6Ke6cwfm+5tlitxGB3+U3eXA4LUltmlRUWew xW4VKaw68vvYP33RPCPMU2sFKErQQd21KQXLUz9OEZy91aZ9y4GWNw126PpTXsx2 dJB0gxF23e98w3OGxx/648jNeA1VCn40KGJhWV6lvryuoBA5IxRX+JEnDJoytGYY IUDKzkxLlgWwILtRGRgViVObzXfa51sDs5XjbGmdDnx7DpO344WW3Y4NFEB8KhGD ZK5Z/uYO/Yd4HswIvzbMbqOqmveJRgkPGyqiB5xbYaZSqNOlzFuM0zDxM8EsN/Xv GMO/4t8zI3IG43J5p+SF3co7e+waGm6qTnU714UKZzJVBHxAlTVVch3PC1ihviPt kZd/iHY1o1WFy3eA5Ai42d1mgsN/EKtOe78bHv3O0814EIbCQTuu4poU8N6w/n/K RGUj94pfB7OSFhGEUaru/pnWAyabyqycWggx9sJQl63SSmhCu7vmi6z5PSIOdneO 3aJNIDVwb7+DKAFZ6z3ryyg0L/MKOJAQ47gukc+jTcr6hyGezpE= =iIEe -----END PGP SIGNATURE-----
