-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 21 Nov 2018 04:54:38 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.3.0-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.3.0-3) unstable; urgency=medium . * debian/upstream/metadata: add DEP-12 upstream metadata * debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2 * Upload to unstable. Checksums-Sha1: 0dda58b9e2fddb14dd24876acb36a0e04183fe3a 2093 gringo_5.3.0-3.dsc d9fba464138ad5a50b03bd56c8db3822eace46f3 18088 gringo_5.3.0-3.debian.tar.xz 6975edc937be0551160e89b379005b1fbbe56259 8017 gringo_5.3.0-3_amd64.buildinfo Checksums-Sha256: 85ddbb1be85fd2e95b84b732a4e7b5b32f202ff1259b070f203485ba1b8ffd3d 2093 gringo_5.3.0-3.dsc 1d9573c634c676ea5f6985b01d1143334bb52e3061723eaa285e882293f4ec43 18088 gringo_5.3.0-3.debian.tar.xz 5a5c4823493d4a8c53eba66efac0e88778fadcf7cdf71e5090084ed91ece58af 8017 gringo_5.3.0-3_amd64.buildinfo Files: 50006839e8df74b09cc4df30b21525d3 2093 interpreters optional gringo_5.3.0-3.dsc 806b9df465f8f761e11ca50336074ca0 18088 interpreters optional gringo_5.3.0-3.debian.tar.xz ccb1aad2f48ac1c0b9bfb8781ae8f437 8017 interpreters optional gringo_5.3.0-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlv026MACgkQJ5ffdKZm mqm5Yg//R6birlO+vL3j+fLWTHFqtOaUnvjdYXlPVUl0FVnwFijAjHMYsHPGT4cl NlHpXS1BT8z9/ouxCvRhQ0t2PpYPkffjx+5s9dfrRZ18kT20ZJMwobvDm7wEjM+5 0CKo1AhROYyL8Y8kSOuX4BMcdQydrj9yMgDWfALF9nkU+jB3vsPfrEtf+GfYtfu6 zObbQ3NYgdcVZd1C3T2FYSS3+YjkziQzYFdpItYg5x8KyrUON2+lwStyANIQ7xsx bthDcS+dfgKcBrt1JGdviakjjQplz4QScc9M2OxTTNHFsn3w69XpJBwbp7l/57ek votAqkETK5Q7Qs/Nb8Vi+NUfGVSCZWU5LQhE893k5KdtVU6gk1lrmj3Wkn95t85j K2mz+vrqCKmfGE6XWRhFTFYEYesJ1BlbUYYth30vpX4WEcjrw3EMI3gUdDjn+7CG w4z2Qc+TbwaSPaGqGteKrV+ZmkTihdY9bto/jT/rr1jXvyTeaw8CJnawWRFDdZ4J iqzUwQMQiL61Pq/2796+AF9PDP27CRkuO10mWMk4f9g7fJE2qDpaEigdcd4lGEHy dILnqeOp+rnwhwzeuxJxjd/zoswoVWscZCL1SpAe6sTCVqA/c21KyenJYXDwrGxZ tcgRoR52KteDwfbwwYjC+1vn+Vvf+j2rSZZW5y9pG3i0HjD1EuA= =c9gW -----END PGP SIGNATURE-----
