-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 27 Aug 2012 20:20:04 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.0-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.0-1) unstable; urgency=low . * New upstream release. * debian/copyright: Fix Format URL. * debian/rules: Add hardening support. * debian/gcc-4.7.patch: Remove unnecessary patch. * debian/control: Bump Standards-Version to 3.9.3.1 and Build-Depends on dephelper >= 9. * debian/compat: Bump to 9. Checksums-Sha1: 22e7e6d65121d5f061be6c1934230f28fbc33335 2017 clasp_2.1.0-1.dsc 32ddd5437c7862aa36eb3ac617adb8050c694243 395794 clasp_2.1.0.orig.tar.gz 1c4531e03578f491f3f067a0157e55c6e7b0155a 6439 clasp_2.1.0-1.debian.tar.gz 1d07d525241826b40a1b1b7d50958d527a4f8245 433262 clasp_2.1.0-1_amd64.deb Checksums-Sha256: 5f49f419af44f6000f769a267cd6580a72b7dd047018390a2bcda64e763dd1f8 2017 clasp_2.1.0-1.dsc 0eb63798c406cf62b72a349d2bf563b2cacae0c1b87f6168062874e04f3b4983 395794 clasp_2.1.0.orig.tar.gz 5ce87936db079d806e9346f0537e6fc8f086fdd97977545fc89a01595deeb356 6439 clasp_2.1.0-1.debian.tar.gz 9a6f6fe93e4e8368fde673ddfc8b95a23f049b71dc2e0541e9cc3e6e01776eac 433262 clasp_2.1.0-1_amd64.deb Files: 0c113ff2589379fc3b0b5f36c52c952d 2017 interpreters extra clasp_2.1.0-1.dsc 9fe72b39b56ab7d6d6ce8ca4d297a19b 395794 interpreters extra clasp_2.1.0.orig.tar.gz bd20d1d2842ba61b0aca8532e0da8c6e 6439 interpreters extra clasp_2.1.0-1.debian.tar.gz 35a76f6df40988d919c3adfa19e61d8f 433262 interpreters extra clasp_2.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQO+ZIAAoJECeX33SmZpqpN8AP/3SN9YAzjlnEDj7d7A5ImSba JeO8b9lhCfKKTwoI004/vne9snuRIjYe4iWjf5lZD9fyUZ6eZ1aIoogHwhO46Ufz xE7M65+kHqaHSxQ1XjaxDHspF0hOBeOUz3Ak45yD80VLcFtheLFak0UZZeyvaq63 WGnaW4oC6nl2WOo8ZAO3mMoJjNAfg9fthaqy6YQbKbI2hgDQWAe5p84pb0mx71AC 13FJDaXMo3eCcycK5VykCMWoYIB7Xio6CZX2NhBCNeVhXgwbQz5GqWc2lhQUVfTx Hhk1VcbomyxDOsSFD4kBtit6NBZ/sH6q/N+tHSGjpIuCQ2OaB/vW2UEgG5B1eaMq Tcgj6ROTQvO+UGPq0WS+xC99srmJDFZRunuaz+zBrm6j4egMwttqAZTfEP5XDdSe lj3qQ6fS1Nn4xmbqozpQBv0KpQTGIahlEd5wkgaSC6f5SS3o8hhFF3+BTEX/mHCW +9+vnu7yBTB4pjP00Ns96ys+J89cfwBbKICvDAOrWzfNtAsn5kHSV+uUkhmuA9xw LjUzW0rIEkvQin55/c2S44X+R9ztjLp6I/QGb5TU102e8/zmCu3xzj3xksz/EU3e oANs5S2FzxlkMnioMe3FFCDX+YlJQQwD0LfY91fAiLeYHeQ+3bq00BXQjRSafZVY 17TXUWpWqlc/SnX+zDzg =swTY -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1t679p-0003jk...@franck.debian.org