-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 11 Jul 2015 09:36:10 +0200 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.5.0-1 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 (4.5.0-1) unstable; urgency=medium . * Bump Standards-Version to 3.9.6. * Imported Upstream version 4.5.0 * debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description. * debian/copyright: Update copyright information, remove outdated files. * debian/docs: Remove NOTES. * debian/install: Install reify. * debian/rules: Build reify. Checksums-Sha1: d977c1e9793c2723a3960154bf2b9ef9caf6744c 2053 gringo_4.5.0-1.dsc bbe67ed1d5c6f5ca6d5958e04b706595d39b4653 1671825 gringo_4.5.0.orig.tar.gz 287713fdc239b6fdf049bbaf96f56ce28ad3bf2b 6572 gringo_4.5.0-1.debian.tar.xz 7f571bd985d3588a190d8a8ee61076311a7005e8 1840914 gringo_4.5.0-1_amd64.deb Checksums-Sha256: 5bf372e329f756184fdc8121f5560a21c5b0cd5c1a5da47d81da9ec45cd95ccd 2053 gringo_4.5.0-1.dsc fd7bd8756d3bdf3ed1df1fae9e8a8efdc4bcc613c41086640205e677e0e22f6f 1671825 gringo_4.5.0.orig.tar.gz 7367e49e42dc78aaf1487474a2a66279870ace554563f34b07469e6ed8bf7b8a 6572 gringo_4.5.0-1.debian.tar.xz 2ed2d57670dee75314b49da61f95ded5d1b51880194b29c972677ba0648ac957 1840914 gringo_4.5.0-1_amd64.deb Files: 9677ece757cc2eb8666015f4049c3e80 2053 interpreters extra gringo_4.5.0-1.dsc bc3cf96199fcf6d728e7bd15c334de4e 1671825 interpreters extra gringo_4.5.0.orig.tar.gz fa2d8351f4c6dd0e752aeb377525238b 6572 interpreters extra gringo_4.5.0-1.debian.tar.xz 62fa6a22bc4ceb4eefbcb3ddf486669b 1840914 interpreters extra gringo_4.5.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVoMoFAAoJECeX33SmZpqpe40QAJISByEVEBFBA6zEpYCdbujF wUDAN22/bHkA9q7G9S/eQ6uIvY1rCcAZYUQh+HoWGdKMaHmj8d/QuTbKCnIlIL15 cLyHN+yblzYBVu0rNQas7TOe9KHcHUsFESsDvrWnXUBvgxonXN0UwN3n4cWDaYlv 3ts2WvQ5b2LNug+l0B6j7HfTdNrkGXynmwNmRNb0gJLzzG3HkWVI1bik6L+atnwD Ub8LHcj0kLHXxyPfJu4zQ8uyJ2hPCtPa/lFaYEyHMrZ/6rbl3/lF12zqNir3FJxp 9csK548nn9vK4Y8KuxBVlqI7zOtJdEggsw3PtdBmBDWqRXcSTYpV0HCwhEW1+Bs7 smC0Z4SZVRBwUQM89Qaqs0lCIC+azZIvsBbdKpcjG5lMG0IHZ03j13HH9d+HyaxW JPT+v1Qh/RslvzOiopy5TBfnVm6KMGn450+AML36UC4AQz5MO0GochHc/ukqngOP Vv/4OD3vuZYR+GcWhK+mKL9SOXF63fwjgWY6BmmbR6X+v1liHxGnXpszr1aLHTM9 yGxRZzERZCjq9esuN2engewtSo6qWoVkXVCSRWiScvxoVD37P4gNe4QoWoeAmapi 10G11Yt14b+j28QFMK438BOtebjgIfCHxEIN8N6eJ+Xx4VyikSLAOaMwqdCHDGVS oenkBeeeH+NGAlVEYBEn =Tr2R -----END PGP SIGNATURE-----
