Accepted clasp 3.0.3-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 30 Mar 2014 07:34:40 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.3-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 (3.0.3-1) unstable; urgency=low
.
* New upstream release.
Checksums-Sha1:
103707c9b3b5b530ee0c99937c6d337d78be014c 1983 clasp_3.0.3-1.dsc
4a9f5f65342792155c21e8e0253a6801706a9d4b 481967 clasp_3.0.3.orig.tar.gz
de17570db9657b70475690a1204e7896f0e845e1 6272 clasp_3.0.3-1.debian.tar.xz
b074898c3312f5ee8598c6acafcf2439924d262c 423432 clasp_3.0.3-1_amd64.deb
Checksums-Sha256:
8ecfae80be9fdeb91c0591ecc8ee4998b001ac4cd2e5a3149e65f9d182ac319c 1983 clasp_3.0.3-1.dsc
f0c5f75ca4d9552a37c64f410d70e7395891c55c5f1e9d7bcaaf92f05127fc98 481967 clasp_3.0.3.orig.tar.gz
927d29240e460744e9514080925048ca54118af914813991da04f1ba5aee4614 6272 clasp_3.0.3-1.debian.tar.xz
5efd6c54eb03c7f5c00d50e32a93fac847660f9836593d3a557217e0fb9199e4 423432 clasp_3.0.3-1_amd64.deb
Files:
048e14e916d1a18963e4a74b0eee6070 1983 interpreters extra clasp_3.0.3-1.dsc
d402b64784cfc0f7025393c6663b92e3 481967 interpreters extra clasp_3.0.3.orig.tar.gz
08e5690e75bf58fdd27732ba454d701b 6272 interpreters extra clasp_3.0.3-1.debian.tar.xz
7913fc7c27b139b7685f3169dd8153ab 423432 interpreters extra clasp_3.0.3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTN+kzAAoJECeX33SmZpqpKDUP/2ScBLpgeVV6KfsE+WxmLkp+
UQRNW0yFChUv3eKJrv9+HrsJctItS89PJfmUNJ3nkKTqmHToKkrqSzfhJxkuvw7F
GOECPUK4/OR8AD5sODV55QUpyWnDxRpfTemeckotbdUTEtRSzhPE4S8oRiX7viS5
OUsHd6okZnxPbm0fpicmFAXdTc/ibElAFLZCbs004lsD3zPDypVgt5w/CdxFHqU/
fSMcYuyGcynT9yptMg8qd2J036u2NQTHzYyDgnjSoDlnNnVp81UbeFh5dIZDbWdH
iGAsbQkP2+c+MkJpLd0Jkh2d9raGSMtvs9MT/Co3S4V4cHlPd1vBP8GlKUE9XCc6
x9lhCWO4HCXQCATScTABwigIuVMleQAzbyjNvfLrPQnu3EF0rGHBRB1BYJ69Q2cV
mhiS6c7adydc0n6zWMw2TDnqzF1pDRoBnHkEcweZQNuXSjrXDoR4ioo34ij5NeoB
xt6J7JcQYvqdpy2M+uNJv95jlEbLJDSvmF6wncPZH5Rz1i3V/1FjW9qmILP1jbxL
pmaZvPk8PR8FWQUpuZP+jqZ8kTMEHwaGr5ipKuOn91bdhkaUvoI+zVfB5wlCu2Za
o9cXFlKGOafBNDUb0/NDr9WezfRZ+jYzfKsYhJmGI8NFswrXyvFsAOd2bnFJhcz7
25XIo0AGyFTHR6aCTpsM
=SZP6
-----END PGP SIGNATURE-----