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