-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 28 Feb 2011 17:44:55 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 1.3.7-2 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clasp - A conflict-driven nogood learning answer set solver Changes: clasp (1.3.7-2) unstable; urgency=low . * copyright: Convert to DEP-5 format and add missing licenses. Checksums-Sha1: 3f55730e0be657832f9c9be0997a7405006d6097 1068 clasp_1.3.7-2.dsc 1fd9d2409d2e2ae797265c725d7fa337382b21ad 271457 clasp_1.3.7.orig.tar.gz 20607e77adb9649e7c9ac65fed44efdd716c81ba 4872 clasp_1.3.7-2.debian.tar.gz 4d375be36d444e41f1af6536f1c89c15f398d55f 293092 clasp_1.3.7-2_amd64.deb Checksums-Sha256: f468a3561392bc635f95eb271d4a07c0c949ad7dc4742c9f1fc20772a503f659 1068 clasp_1.3.7-2.dsc 17d18f917bfa11e081e49570fe7e9da15f54071c2541bce82415af43e93e2e5e 271457 clasp_1.3.7.orig.tar.gz 459014c805330e8b0869f08896829504c89bf957d31e22dda4b1004476cf3296 4872 clasp_1.3.7-2.debian.tar.gz 44b197a2f68db9d51022f7fbf841171e563e992d6b6e01240a8f378b77e62aab 293092 clasp_1.3.7-2_amd64.deb Files: 43d342654c76ae2451ecfb76ed11f0be 1068 interpreters extra clasp_1.3.7-2.dsc 43e58d3dcf32ddd20714c3ba789fd26b 271457 interpreters extra clasp_1.3.7.orig.tar.gz 13845b8ec070b9ccc5eb819e1ed997b8 4872 interpreters extra clasp_1.3.7-2.debian.tar.gz 8a4b6780089a71d65dc820c371d01367 293092 interpreters extra clasp_1.3.7-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk15IiUACgkQvx6dH3bVKsR50gCg4JkoW7E1w/uvN+dJPMhKxy93 cnwAn0PkuTxx3wXI+52S3trPnNUuRqAc =kFJj -----END PGP SIGNATURE----- Accepted: clasp_1.3.7-2.debian.tar.gz to main/c/clasp/clasp_1.3.7-2.debian.tar.gz clasp_1.3.7-2.dsc to main/c/clasp/clasp_1.3.7-2.dsc clasp_1.3.7-2_amd64.deb to main/c/clasp/clasp_1.3.7-2_amd64.deb clasp_1.3.7.orig.tar.gz to main/c/clasp/clasp_1.3.7.orig.tar.gz