Accepted clasp 3.0.5-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 19 May 2014 17:48:23 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.5-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.5-1) unstable; urgency=low
.
* New upstream release.
Checksums-Sha1:
08f73c1871311f7c6aeb28cbe867c299bf446a76 1992 clasp_3.0.5-1.dsc
4691bb04054ac20cd1665fef4caf67f80af2c0da 484908 clasp_3.0.5.orig.tar.gz
f009ce6d38cc2e1805c01731fec815af9ed6d315 6308 clasp_3.0.5-1.debian.tar.xz
4dfdf8652afabf381e0880bf60cdea6c86b474b5 425772 clasp_3.0.5-1_amd64.deb
Checksums-Sha256:
9444f718bda4dfc37683768cafc18d68c719dfc8eb9afac5099f674b38c17ce7 1992 clasp_3.0.5-1.dsc
6d4a0911502acdc5723aff2f137d35822cb82b0e1f30c797fbbacbf0e198d122 484908 clasp_3.0.5.orig.tar.gz
789da64fde8032309dd33f39607ed25dbf7b55f11a0886407b6a0a52477701ac 6308 clasp_3.0.5-1.debian.tar.xz
d02f4748a43ba17c0877f2245a0b818f6f1abda60a8ac3e75b4d99d79e5ac000 425772 clasp_3.0.5-1_amd64.deb
Files:
b6a2edd213e71856c3d2345605341f88 425772 interpreters extra clasp_3.0.5-1_amd64.deb
c90f8f9ca050b0675ea6dcf046f1ba34 1992 interpreters extra clasp_3.0.5-1.dsc
fc91bf00917efcd52b3a7e6a7a0576ac 484908 interpreters extra clasp_3.0.5.orig.tar.gz
4bcd8fdfe859ade3ad5494c07fd70b03 6308 interpreters extra clasp_3.0.5-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTeiybAAoJECeX33SmZpqpkywQAI3KLbt+PppyYICtI6WK22ng
MisX9lmIBPPsC0NCSWfaSRChu0OpKlH5ouKEHNWeSLJdHOaPsSim4BuSMTY0qJPX
Vw6tdQ6jCq83cBDuqLZFpXr4vnOnFFO8d0auNqCCLIM76YoVc4hVWb4Pp/avwnZi
zEnpIHDvkR143kjvjErbvlTjT5EhLrZqhB4yoFRw7C1gkn3pCg3bF8fgbBvtiGwE
28f3nLx5W56MDRgQbsx7KqByMiIuc1H9i4LDvFvA48BqKvgthyREydcu/YcBwRNS
NWcacJTLTuxR2/eddFcoQA/WFFubNu+Hz0i6nfwhg10zwJbSj57cnSlk2Ta94d6q
yy6duWfKTQkUnY1fwAjLX1byzivpUXmL9432ccZFWmuI5BOt1XAxUogV7ul4Hzjw
Hm7XqBWKgeJSOKs5CeuNawn53o1KrEssfH4uPcFcddmlcVi6gwm3I4sdmMo7oqQR
K0N7w+iHfv7nV9dHlEQSLJIBMfhshRQIJnTE5FJLVtgb2XATflFrjLH4vLFQ4nio
1+fm37bkM7lsSa2G6YlhdaKFvTtqdBL9WU6a6Zo2B9asXakYGENTapMKTp4Muiox
wi6C3DvxcvG1TkkQVgqfLgDb9bxuadWPY+aseAyKWdRowECkuWc9U9XAGWdA1RRl
zIMDCNrd316CsylaHkPT
=rc17
-----END PGP SIGNATURE-----