Accepted clasp 2.0.3-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 24 Aug 2011 10:12:53 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.3-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.0.3-1) unstable; urgency=low
.
* New upstream release.
* copyright: Fix year.
Checksums-Sha1:
bd3a2fb590d217280c5d6642919eef9065aedca7 1944 clasp_2.0.3-1.dsc
54c9fead65d40d492c5030ea51433503c4a37d20 367376 clasp_2.0.3.orig.tar.gz
2917910a327d33df30b2d45074b6280fb8570d8a 5802 clasp_2.0.3-1.debian.tar.gz
94fed8f06112e88cf4ecd96a6d7bdec7aab6318e 373360 clasp_2.0.3-1_amd64.deb
Checksums-Sha256:
a0971270d304e3d98a606f65c1ce8eb2c12a9fc5fcfa775264599d30d285fdcc 1944 clasp_2.0.3-1.dsc
215d25d3da3ba7212f14ff0685f4b20ba6ce118ca83f216a328b7c86fa381859 367376 clasp_2.0.3.orig.tar.gz
ae6adb64e241077875f929b157a478603d9e4c63b97d01635bf84433ad19d473 5802 clasp_2.0.3-1.debian.tar.gz
46e7ae803a674972352a78379396ffab1a98d5f88e9c82aa609319177cddd6f2 373360 clasp_2.0.3-1_amd64.deb
Files:
b961b4824ca3c4953d5db2076202329b 1944 interpreters extra clasp_2.0.3-1.dsc
6eefd4a451b577c997245b98e575807f 367376 interpreters extra clasp_2.0.3.orig.tar.gz
c56d4715d6e61a31049ad78040e40a52 5802 interpreters extra clasp_2.0.3-1.debian.tar.gz
3d59a8cc9610ee8174e5f580fbff2b4c 373360 interpreters extra clasp_2.0.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJOVLTrAAoJECeX33SmZpqpxLoP/RzG3aWengcLQHHITp4/cuU2
l2mUkwOBuNvXQf8rhCInwlnA2+WkU3Wdi3N5QL4fFO7pGXvcczhDfTUOdJ31h2ng
UbDAO4vkmHqDvmbXxeF2ioR6DdSwYmu70oJhK9+N0THuZj8B+IgzBUIC/SjHagUq
xmBjwcNEur5xDlGD5sVVngVec1sfyLq1MRdZsTmah1ZsT6wTTIpRCiPGpltC9InH
QMMnQmyM30Jxv7wZLrG26Ms/jlOwVssg5vGF7+BU0nhJr0l40yF9M2qgfKyOgeum
eQA2/fN/JyajiVzgT+4zI3QYm5X5xO2VuxYotWhFEgah67Xz7et11CAPSNF0tHXV
aUoxLlSUNDTG7B8O1vCEc7Q5J+yWuDW7b4UxnnlN7eILFz1O/tjfPJpUn6qPbH51
bvMQpHy+FnlAMygJb1S1b3M7XSFo/0W+p/aZ5+PiFfuuC68tgyX2TGTmbD04xxpL
lGNSnxr+yvef6j7017hMl4vugL7TA4s0b8rBfY/n6ybYcOj+3Ok+FgmI/FQLPphT
pVruaO9VgG0zcosUlZtNXawVt1lx+XXQcabURtpYhEtSCSrTd2Dmqv8zWAzHGPD0
eZYBQfX2eRznIcewpboGLOYH6ZVDrGlZTXkj61SaKhB2/38WQlhO+akXLAQ6siDt
jfOjNuzi+syG28z59F0g
=iLf/
-----END PGP SIGNATURE-----
Accepted:
clasp_2.0.3-1.debian.tar.gz
to main/c/clasp/clasp_2.0.3-1.debian.tar.gz
clasp_2.0.3-1.dsc
to main/c/clasp/clasp_2.0.3-1.dsc
clasp_2.0.3-1_amd64.deb
to main/c/clasp/clasp_2.0.3-1_amd64.deb
clasp_2.0.3.orig.tar.gz
to main/c/clasp/clasp_2.0.3.orig.tar.gz
Reply to: