-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 04 Nov 2017 14:55:24 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-4 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.1-4) unstable; urgency=medium . * debian/symbols: fix FTBFS on armel Checksums-Sha1: 5edf83616191ef567147760016e5d0db16bc4abc 2077 gringo_5.2.1-4.dsc 7ab97fee73d5a8a58392c7d6ccfd85eac62618d2 13064 gringo_5.2.1-4.debian.tar.xz 8e3e8bd13ac730c25b36bf113b645a45e4978435 23244340 gringo-dbgsym_5.2.1-4_amd64.deb c65e8f09d9048417fbdfc6d90c2a8448377b707a 7857 gringo_5.2.1-4_amd64.buildinfo 6dada920f98c1ffab38a340a1bf3c2863ade5947 2187764 gringo_5.2.1-4_amd64.deb Checksums-Sha256: c1490fde13e6e47c32ffe844b78da7afac3b0e8bec4fe0a1f9e8398aae8875a0 2077 gringo_5.2.1-4.dsc 5b4791ecf22ee374184ff78bf0d30e219c08dbc5392231ff76f7edcdeae90a9d 13064 gringo_5.2.1-4.debian.tar.xz 2ed442359cd1054d9ffa0117a355872490ffac668c5a173a11bdeb5bca95c12f 23244340 gringo-dbgsym_5.2.1-4_amd64.deb 1b164a04a21f9c98b789d3d2178cb6663f24ac25d6ea4952a6ee7328df5bf2c1 7857 gringo_5.2.1-4_amd64.buildinfo 60ca3c7ae35a1166d21930d249554095321c1151e9c956cf0aca31d0bade60b3 2187764 gringo_5.2.1-4_amd64.deb Files: 5b4375b3d839ed0c2eb30ab1f85ad420 2077 interpreters optional gringo_5.2.1-4.dsc c024b2914d8aee1cf312af3f029e9af9 13064 interpreters optional gringo_5.2.1-4.debian.tar.xz 71f8f8a7174f48ebf4961193df52f810 23244340 debug optional gringo-dbgsym_5.2.1-4_amd64.deb 619bbcb3182699796e7897b04d0ac81a 7857 interpreters optional gringo_5.2.1-4_amd64.buildinfo ad1676405099b13a8770f195e38c7306 2187764 interpreters optional gringo_5.2.1-4_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln9x8wACgkQJ5ffdKZm mqmQ5Q/9Hrea829laMHCsBdq6U61Aeyq2xdnZjfUhC8iavGycYE45G5T37mgF0OQ jYSOQu/WEhh4Pyf1kKatIWKQHPCDXw3Zw0fNgEJp5RQ4stHM0EFvkzO1OyYyv+Nu EyZflksRVTFJwJLTnD2IhLe+qKZlEmhyzd8ZnLtxgf0uSYHsrJ/+BlErbWElhWwn +2Fldj1qbuDXt9PIq13WWz13QGv/GcCGB6A3H76x3/TGjarikJgmAcRI/ZeOBBgU /KBhWHBb+A2nCagS1jWWWFCdM5YO260jy6b10LOxb0y1e2ePD1CIyOIbW9LiUq2T 34k1jX8PeN8cYA4krl8lxuDx+8TR4Gms/8WNxWZ74axAGuGDn06Mdo4DyituI9L8 jcJ2/0Xt+pkJUfAksopld6Omk4rCu66O1sKjJiZ2UOzspySOxbyMmRLxlrbBiin0 eJWcrvzZrtfUhixdDCgoY9Y2/ob87jpRhd9y/ecEdM1UkFUEL/Q/aBcZol9fKZi5 JJL4sSH/1FnfZGE+Ki0+/ccQgYYPbiBc+l6d7ccGOO+jDUPZmq1I42Jg97+OxJ2J DOAYnZLUfFQjYfZxh55Lc0ezEmfnWe01Uyim0J2CqHV58MgmxMUU64VtpIQSkJKd 05TuZEOmTQEnZkO3NbnXUe9QzBEW1b2v54zWfOMK66WwpWLLkZY= =4hu4 -----END PGP SIGNATURE-----
