-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 21 Apr 2011 20:24:41 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.0-2 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - A conflict-driven nogood learning answer set solver Closes: 623599 Changes: clasp (2.0.0-2) unstable; urgency=low . * Upload to Debian. (Closes: #623599) Checksums-Sha1: aacd64eb94929f1ad91e8dae96ef875d99037bf9 1080 clasp_2.0.0-2.dsc f33ef41c7147f8aa1f39c5055f5075e4b7c62b22 359881 clasp_2.0.0.orig.tar.gz 7d85afa061ea328247f7be80933178dcc802e064 5620 clasp_2.0.0-2.debian.tar.gz ff487946f2be344b1bc5008af7e210253754adba 388746 clasp_2.0.0-2_amd64.deb Checksums-Sha256: 30781f14fa43e12e139e05f2d258319469f29a20bd35ee74b5d9d1dfd6c9f952 1080 clasp_2.0.0-2.dsc c60435464f96952678ecbaf05fb325b3c60b9a076a3f1a14b341e472e0d5c0b0 359881 clasp_2.0.0.orig.tar.gz 9608fcbe850fb11913d21d2ebd827c621e32e577fc7b3d20f17bb811b9aa1021 5620 clasp_2.0.0-2.debian.tar.gz b85c0ad302d2c9f435490d7823a5633ae6f7afb58b04bff9d25cc27d419295ac 388746 clasp_2.0.0-2_amd64.deb Files: cea5d911bf96bbe3d08a7af4a16daa39 1080 interpreters extra clasp_2.0.0-2.dsc b3f22a71386be4359a0ebeef9bfc0922 359881 interpreters extra clasp_2.0.0.orig.tar.gz da2046ea92c36b60fc42a8878dc22457 5620 interpreters extra clasp_2.0.0-2.debian.tar.gz 04996ccf52c8e0bae62713c51a78715e 388746 interpreters extra clasp_2.0.0-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk2xxf8ACgkQtzWmSeC6BMFiAgCfewxqdsCpHkbX6e7jDXoIKwFM zr8AoOGmdM+QYGNHZ1YKcsGpz+xaPiPj =V0cI -----END PGP SIGNATURE----- Accepted: clasp_2.0.0-2.debian.tar.gz to main/c/clasp/clasp_2.0.0-2.debian.tar.gz clasp_2.0.0-2.dsc to main/c/clasp/clasp_2.0.0-2.dsc clasp_2.0.0-2_amd64.deb to main/c/clasp/clasp_2.0.0-2_amd64.deb clasp_2.0.0.orig.tar.gz to main/c/clasp/clasp_2.0.0.orig.tar.gz -- 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/e1qdl9f-0001aj...@franck.debian.org