Accepted clasp 1.3.6-3 (source amd64)
-----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
Reply to: