-----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
