Accepted clasp 2.1.1-1 (source amd64)
-----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-----
Reply to: