-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 07:39:21 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-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.2-5) unstable; urgency=medium . * fix FTBFS with gringo-python3-utf8.patch * debian/rules: report ctest logs in case of error Checksums-Sha1: ec83549c65782147ae73721ce79ecff85864119e 2068 gringo_5.2.2-5.dsc 893db4e04f120d831cea4b046f935a7e4dd581c4 13912 gringo_5.2.2-5.debian.tar.xz e74141d5b186ead67a807f3f2af8aa82b910f921 7877 gringo_5.2.2-5_amd64.buildinfo Checksums-Sha256: 2f568cdb1dc209ebc15723860654c4ce0b105001c1507563c49015cd0716637f 2068 gringo_5.2.2-5.dsc aa72ac8ef54e94b98bf7560238b5114c0d60540e15f4f104458375c20ef7e4d8 13912 gringo_5.2.2-5.debian.tar.xz fb8eb5667d3c7ecfe2d862b666c8efbb1603cadcf1c3dc2f94db3eccec4372ed 7877 gringo_5.2.2-5_amd64.buildinfo Files: 92a315a10f97fdd69e938aae1d82680a 2068 interpreters optional gringo_5.2.2-5.dsc a3162c653e668aaa8d61c418135304a1 13912 interpreters optional gringo_5.2.2-5.debian.tar.xz fced12627472fe7f326fa050057b0b85 7877 interpreters optional gringo_5.2.2-5_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp4AIMACgkQJ5ffdKZm mqk2zg//e1GRY96Ayf/PfOZiq+qA1v55Bu4WShmJUNyeSLALLMkdF41w2hRCr//F BVRz6x5+ok8LyxM+EhOU8I3eqk8p3ekiyU/BHS0UaiWRL4xEXww51ORc0Z+iUc2+ kjhwso2uPKf+ZITUSPheKOi9spuCEp0kmAR003xWRxU9TD2YFjjCtzgQhv0yRhhh GgbBVb3+zA+LxfIsTOQy+zHfOCLdQAJXBLOzQY3hNSoh0kPgTJ6Fj1lgzjHaNCY4 hxlb/vbOf1jzqosnEVCdrtG/tiPoquWH2z7Rjz+lrs9UP2B284Rtgyqa8YCUXmrf YhBX0YDtrm1ZdA4kvcemhzYuEOnhuyJLPA9UTMXLEPVPn6R6xLFQCgLLuLMsTCQs iAkqY0wf4agC0IM/+nNpXoO8k3KByZ03kvHSbYWlcPU3y3mgdgd3lN+nM2xrIGoi gf6TD7wXWaeBcvQUXCE8bzCp8d/MH+XnRIBJAYxrAhlzxtkL1ykRyeubwGtmvM5N 0DoeNzrWJiZQHKx5Fjtu6l+OrScgNHEwBAFDGgwaPgxTeS2J5qzCUcJJjXlcSuN/ u7C9kbE+H9JnCsN8n5kHuVi+5kYdS5Bnj4kxfqUBI05rVAUPd+dAZWo0ZB0Utgh/ JkQtgSbGQkVo2fRu5uTX4p8CY18vCEAMH2FhL6P5vWl9z6SdP2o= =aqh0 -----END PGP SIGNATURE-----