-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 09:22:41 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-3 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-3) unstable; urgency=medium . * add dep8 testsuite + debian/rules: build, run, and output upstream tests + debian/tests: add dep8 tests * debian/symbols: add ia64, update templinst archs Checksums-Sha1: cc45832d1b834e83ee10eb823ea1e44d02c23496 2061 gringo_5.2.2-3.dsc 02c2308ef55e3bac72f435b6155c7edfc8ba418d 13300 gringo_5.2.2-3.debian.tar.xz 31ac3d070ba1dd65121973fbe9da479743395e5e 7898 gringo_5.2.2-3_amd64.buildinfo Checksums-Sha256: 9311ef0851b342bb5344bb54ad353dd594ec3b26c4cb61d3a471d3cac7144417 2061 gringo_5.2.2-3.dsc e87e135e0fd2a737f36733c079f8e2fe6ade5c1f9cc16a8aada46ca231bd9139 13300 gringo_5.2.2-3.debian.tar.xz bb4efaa56317ed86b2f182d0de95032a89e6da9bb78fe1c5eaf3cf0bd78b685c 7898 gringo_5.2.2-3_amd64.buildinfo Files: 6c9be859ebdad857ca8793e7467d4c77 2061 interpreters optional gringo_5.2.2-3.dsc ce24f0cd613ca505f3a301834918a520 13300 interpreters optional gringo_5.2.2-3.debian.tar.xz c7378e7782d59e7b8b98f24fc18dc521 7898 interpreters optional gringo_5.2.2-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp3KSwACgkQJ5ffdKZm mqmG3g/6AkUTncacO9yfT+DT9jYR41sWnI5eik6rVgMfHmvNWxAz1jLmMcOADVQv PBM1rbiu6nkYv1Cx8wfVelnJTtD7d3ZsbFTKY2gzjI9+el4FoKTKx1oaxO1166jb 2Q8uCrk6jYjbvINBsv/0kNxu1OY0LtknzMJlbqxVTmC5z13JcCnUy3Y5xEQ3NO1+ 40Es2tWYa0T/S9Qmrq9MzaKVakbC0Uaa0BNK43IK/dv0Fo4vrFSfL5TituM1fRuk SQKHkGbrEEJXtQNDllsClYWaZkwCsuupVZ2heFhrMoBiIaJFaC9dY62wm/XmFknN FGVAwkOs/UZ0QGOTRk+WsXJy8hoptOJLGB4YYldnj/YWuK/Jb8RNwpMyparFv3wD F5F4mVcpDz822aMC8w7NaqHtH0PL19g+kFGObqv+XaAiF4RVzLoIU6J7KFzEk94K x3eZWmEsiI5mZgNHhRj1ZV8nwYw4pCqWuzsxI4eElveVbG8nUZ+DKs8rxX1pysgp 9iB0KFwKMwp6nDOAqK4KTkW65qPnKRBveCkbpJtrIdItk/N1Zrnfu6z2ZIOQwlnq qELrgxJ3muoyOHxQZPkD+0w3Kj5FCjHMdXAovvjWfa8ZBCk5GeB5OwedI4dfmVJs U/RzEiiJ0thcVQzbu3iygLzqK0DYX394tWrNSCd3e6zQH6Tn2/8= =tZfI -----END PGP SIGNATURE-----