-----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-maintain...@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@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
--
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1qxyga-0007rv...@franck.debian.org
