-----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-maintain...@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@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-----


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/e1wmqh7-0002f2...@franck.debian.org

Reply via email to