-----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