-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 28 Nov 2012 10:35:53 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.1.1-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.1.1-1) unstable; urgency=low . * New upstream release. * debian/control: Bump Standards-Version to 3.9.4 and Build-Depends on libtbb-dev >= 4.0+r233. * debian/copyright: Update copyright years. Checksums-Sha1: e4712f8a6c977ba3df65113182daf42ebe8f3f68 2015 clasp_2.1.1-1.dsc 4c2bc5fc4b7c9ccfc461dc86a1d449a337602dfe 396360 clasp_2.1.1.orig.tar.gz ae5d4561e74ed5dc149e1be8cc6fbc2259c0f217 6467 clasp_2.1.1-1.debian.tar.gz 6368727ecc45f148993eb2a674caaaefe27a6fe0 433800 clasp_2.1.1-1_amd64.deb Checksums-Sha256: 6fd8e0f69406be89351bfd7d21b8502ce2524bfb452813840d4b9c8b29881d0a 2015 clasp_2.1.1-1.dsc b597465f3d4de8475e5751408edd00384d0f5c46b05c1fe23bef1b4b06d7d6a2 396360 clasp_2.1.1.orig.tar.gz dc03a72f996ededde19d8bf1554a236289bca336b9081817a7864e977035237e 6467 clasp_2.1.1-1.debian.tar.gz 222bd2da9405576fc18d954ede42d8b28a37dd2941cf21c2c6653c9e51d6b517 433800 clasp_2.1.1-1_amd64.deb Files: f8d5c03997f6b033840d194f21d8b216 2015 interpreters extra clasp_2.1.1-1.dsc 2de90b696b581f398c1772e80e9e8c71 396360 interpreters extra clasp_2.1.1.orig.tar.gz 1ed599a157be5c34805b692230294a95 6467 interpreters extra clasp_2.1.1-1.debian.tar.gz ac1115e6b7de7a317d9b06cabdb9553f 433800 interpreters extra clasp_2.1.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQtdudAAoJECeX33SmZpqpYL4P/R15qmx3X7Ea+q0YTC6tKJP6 C7CTuEiLT2P0tb9Miz7hEMmw+MZM7JKm8i4SS+A88cHKwFLhMLlrqInf7fgH5He7 dRwFasKSTGqplQd/IyoT1yvc7QzySzVZCgY5psz+gIbMwPJDM/M9hHz9oSMA45DM /cZXTMx0PE8FDSJV7zC5SFsc5DlkEKWeipHGCsJ6Qa4p9YwJN2C8sPlgOjoA8Cgm f8xRIS/+R6DdEhjoIyTCHiQp3XsEA99OguBarcAY9LmuZXF9HcvPS/CtRRRCFZK/ iW+imlffWXXMU8kTFiQziLkS+63495YmNWOyw/t6zUjohLotjdyZ7FncNw144dWu v9ya9eCas2PYB4/Oc1Wu34FBHeryDRFzL/SROZq5fPdUJzydGnua56BvEVgMQhG6 ZieN+d7ur7enllkFCr9xc1Grz0k7KaOwM3/moOmJkWrRqtYEJjGmwb9/kwp5Td71 h18epqmmKO2cHkVREMAwpeLfLqhjT4OApcmTQ+WLACSbwe58uosOVlo4LAMyQhgw 4aaFsEsRJpRsQ+Umyj29MVcYfkSUt6qdt3JKAnZL2Y7Ovkqe2j0tgLUGdNjihIYK nAwb2a3S6iHVVh2o0qUKeIRvnEQ7b8EylxOBbjh1Y73LfwCTV4oP4HvV7mEQSI3d Xz4ff5CbMpAj/JF5IBWB =9i9H -----END PGP SIGNATURE-----