Accepted clasp 1.3.7-2 (source amd64)
-----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
Reply to: