-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 01 Jul 2011 05:25:39 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.2-1 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 Changes: clasp (2.0.2-1) unstable; urgency=low . * New upstream release. * patches/clasp-ld-as-needed.patch: Remove. Checksums-Sha1: c493efcb766e2c8919eba77f4e0cf3dc0c380dc8 1944 clasp_2.0.2-1.dsc 3b9b1cfe83d62b12e1b0fe221f455a48b3645ba3 366890 clasp_2.0.2.orig.tar.gz dd3137891bb4993f2e4727181de7fd1e8c69f6bf 5805 clasp_2.0.2-1.debian.tar.gz b62eb6d65b33b8145359664330deee418c671c0b 369036 clasp_2.0.2-1_amd64.deb Checksums-Sha256: bb30bb90378fb846f4d889bca1aa93adca97f4f37224a2fb8a28a5673e42b696 1944 clasp_2.0.2-1.dsc 4f38edfdf1767d6a0939206a3f2be2f52b3bf5bfd3097fcb8e6781c529983d02 366890 clasp_2.0.2.orig.tar.gz 2cacb2b2694c96880907acc7c1fedcbf6d5007d5431bc99d06fbe9b65d5d99a7 5805 clasp_2.0.2-1.debian.tar.gz 62cb31e5aa77c0e8cab90ae73468f907c568bc13b419f73912006478fd5fb10b 369036 clasp_2.0.2-1_amd64.deb Files: 39965f92aff71f99ac6615ddc4264d09 1944 interpreters extra clasp_2.0.2-1.dsc 4e5f63ccf95b6b2150478d68a13e7e09 366890 interpreters extra clasp_2.0.2.orig.tar.gz 3cdbfe8e0c36b16e7bc602ee9ce4671d 5805 interpreters extra clasp_2.0.2-1.debian.tar.gz 177b7ecbc38293be1aa76f793d641296 369036 interpreters extra clasp_2.0.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJODUIoAAoJECeX33SmZpqpKdUP/AuTiGv5t8PjblRnkmiXy1fy j1Qi6LJqhXjjiZ7an74UnSD7yT4mrPLsekU6YU1gVFJ7feC85vHCYXcBMJdogsRB RbS0TscSChrlA3Tug9Ns6ynaxA1x1QcQdPPrhjwddYnr5Dzu6QThm5t1hcNjgZFl GQbdMWn4ZTy5H0T9RMDZurG+h897kg8nfWLOT1QuTkw+i8YqeWA/DO/J2bEiejD9 87m7sy/7LD3zL/oeQAs3qE4zdubRZMSgouSza2LiPxAa/fXSg4h3S3LAlVpzCJl0 dywPMH6yfOSidnLYN1s7xhj02IIPC/s8FIZUF+XVkUZK7YBa6OZD0+Jq9NpwKcnI nIQFo8DX+ks1EZ2IpXFC7y960404PePJpNG1w4HZpc7sHqrA/PNKncSx/fZ0uk+Q 8ZfveTzzLPCiCgjhzxc5iL4wr6MO4XiZMnMxMxmt5suxNahxagymWI2Zi8JSeIeL E4QEd8TZ2G5f8Aqr8btZNvYmtVzOTufA1MzvK8BbKGD3Nk3tC9pVNGskzWzBA6Yo WRfiIyeANgCxkXPEL4QapECIbz+0ZuuxTFZV2NZ8v9e5zDlTmMH9yNquCywbmTQs rS8Ba3AR8YAvJT35FcoXmEad21Nt5GtwmTc4KaK4BvhArpPw8kLUnwZzrDPC0Xyj +FyxZfP5SaODfRAwOcYk =clPL -----END PGP SIGNATURE----- Accepted: clasp_2.0.2-1.debian.tar.gz to main/c/clasp/clasp_2.0.2-1.debian.tar.gz clasp_2.0.2-1.dsc to main/c/clasp/clasp_2.0.2-1.dsc clasp_2.0.2-1_amd64.deb to main/c/clasp/clasp_2.0.2-1_amd64.deb clasp_2.0.2.orig.tar.gz to main/c/clasp/clasp_2.0.2.orig.tar.gz