-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 05 Dec 2010 17:56:39 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 1.3.6-3 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clasp - A conflict-driven nogood learning answer set solver Closes: 605877 Changes: clasp (1.3.6-3) unstable; urgency=low . * Filed ITP. (Closes: #605877) Checksums-Sha1: 2530a5bf1e6935ce01ca57d1fdc632fc61ce85ea 1068 clasp_1.3.6-3.dsc 12829c0c16dd0f52e5358eafa235042b5c4f2aa3 270466 clasp_1.3.6.orig.tar.gz 2abf1424b232fc60754c13b442321256273cbfbf 4247 clasp_1.3.6-3.debian.tar.gz 5c076c85fc07ac7d113c8714afc84d1e9bb5fca4 277192 clasp_1.3.6-3_amd64.deb Checksums-Sha256: 50a10e761292cb855125ec57d9e2a819edd9c67677c4868fcec4a4b545c791ae 1068 clasp_1.3.6-3.dsc 83ffa6f45ef4963425bc24735e03eecf5b22f8c86b3c3d25b4e7d622aaf827cf 270466 clasp_1.3.6.orig.tar.gz a63b076372e03d499384c52a9297799f8852cdef4453fe2290e25342b545893f 4247 clasp_1.3.6-3.debian.tar.gz d236264ad39235c41f75d1bbfbe1c788858afce1514a3db8c843f63866851c15 277192 clasp_1.3.6-3_amd64.deb Files: f9d8f827e8f8ac0ce682b18cd9e810d3 1068 interpreters extra clasp_1.3.6-3.dsc 11216a872659843107a1dbc54575860a 270466 interpreters extra clasp_1.3.6.orig.tar.gz 6d6fade3a305cb5e26f5a0308092e710 4247 interpreters extra clasp_1.3.6-3.debian.tar.gz 01d139c679c8a26d6d7fcf1dd73af699 277192 interpreters extra clasp_1.3.6-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkz70uUACgkQvx6dH3bVKsQd3gCgzi/EkvdbGjJ5jKnkRoa0iG1E 6jsAnjUBeqEN3WqULEb8psu0PzO0361j =/2IT -----END PGP SIGNATURE----- Accepted: clasp_1.3.6-3.debian.tar.gz to main/c/clasp/clasp_1.3.6-3.debian.tar.gz clasp_1.3.6-3.dsc to main/c/clasp/clasp_1.3.6-3.dsc clasp_1.3.6-3_amd64.deb to main/c/clasp/clasp_1.3.6-3_amd64.deb clasp_1.3.6.orig.tar.gz to main/c/clasp/clasp_1.3.6.orig.tar.gz
