Accepted clasp 2.0.3-2 (source amd64)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sun, 28 Aug 2011 08:09:00 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.0.3-2
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
Closes: 636772
Changes: 
 clasp (2.0.3-2) unstable; urgency=low
 .
   * Bug fixed with new upstream release: "Segfaults with --pre argument
     upon certain input", thanks to Joachim Breitner (Closes: #636772).
Checksums-Sha1: 
 d12dd265330f4cf9e4bf275e8a7e9a65561b22cf 1944 clasp_2.0.3-2.dsc
 89ccb0abeec8ed7cfd46c894c8209b7a8919f0f6 5872 clasp_2.0.3-2.debian.tar.gz
 601199aeb08b374ac22d31f7c056a8305372a2d3 373452 clasp_2.0.3-2_amd64.deb
Checksums-Sha256: 
 bf8c3f5b4d3f9bfe686fad5eb0f53cc24087303591b240b48217b0db9b12dc7e 1944 clasp_2.0.3-2.dsc
 e75cbe40432905977f2f1e81758d2e75613ba2d97ca7b919d3a612c76c519c6b 5872 clasp_2.0.3-2.debian.tar.gz
 5753cadb871c2c69cc9a5361a557c653deba863336702a7ef1da469b616b3fdb 373452 clasp_2.0.3-2_amd64.deb
Files: 
 60f9f6dd42fd36af38340bc743738ce1 1944 interpreters extra clasp_2.0.3-2.dsc
 1540aeeefe19ee83a18991322287c74c 5872 interpreters extra clasp_2.0.3-2.debian.tar.gz
 641609251d3e0f54b3889fe17346e619 373452 interpreters extra clasp_2.0.3-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCAAGBQJOWdyIAAoJECeX33SmZpqpLeQP/2s+9vwo9thC4xd/yFZgzCjO
L4xLf9o5JZXdfq0bqPeVSTVincY974WhRGGZPCDzqDcH3v7SD15It2mC4bvNoQjR
CFRVWNoZ2dJy+e7AhbZbpm61vDzIueIZJkumtGBuODIxRCHzBp81HbasAuu0YbOr
wY/Jykr8Z//HYxW5POoIcBxsQPIprPxMimO3ZhOVRvLLG4Yg80oKzVcxwks5fup+
fFP9xRT73F3waXgeE31iMhcKoOmS356rwG5FBiKyNCYQxATNq5oRXfXn280CNwYK
LezrU8KJvzwypazIRHSHyTkyEjn/bHAC98jxxEEQvjf7AGEiI9ipUaTfNzQw3O6Y
MBcHy7iD2XmpO7NRTxqNeLRAW32PFklgL3WiovGtHdcT/sV0j5qgZkDtODoiv8/S
w92ro8GksmdMgbDDlknogRjwdcNTiOMhaxMaYwT4Ybz1xo0L/3Cykb3j+Tcw0svT
4YPRogTrC+fO0AAlFjqDiX3/5NG4yTAV4keg/ScgV5hISMKgvBm/Oh4qmXAU30LJ
8q9Pl2OLiVVFpRdiWTJ/6l8J0fey1XfUb9BGloQllPI4Uo3dxMwpMjI38F+qF9cq
r+etYKUayCbe6ciVukjOJ1Re6c3yd/AnQafEyALaVnJmN/o0ai78iMB0zTLAUIRc
EwjmzmeRygY+D3uW0t2M
=JcJA
-----END PGP SIGNATURE-----


Accepted:
clasp_2.0.3-2.debian.tar.gz
  to main/c/clasp/clasp_2.0.3-2.debian.tar.gz
clasp_2.0.3-2.dsc
  to main/c/clasp/clasp_2.0.3-2.dsc
clasp_2.0.3-2_amd64.deb
  to main/c/clasp/clasp_2.0.3-2_amd64.deb