-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 27 Apr 2011 10:50:10 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 2.0.1-1 Distribution: unstable Urgency: low Maintainer: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (2.0.1-1) unstable; urgency=low . * New upstream release. * control: Bump Standards-Version to 3.9.2. * patches/clasp-istreameof.patch,patches/clasp-rpath.patch: Remove. Checksums-Sha1: 52c5650b9520dfdac1f28396cb7947c5fe2a93ec 1104 clasp_2.0.1-1.dsc 3dc0936a6cf6ff4463386adf753c34c335b1d88b 360429 clasp_2.0.1.orig.tar.gz daa6208f42598bd44f874226ce201dc8475d27f0 5547 clasp_2.0.1-1.debian.tar.gz 257b907ef5376525629f18beaeb18139c2908800 367668 clasp_2.0.1-1_amd64.deb Checksums-Sha256: f8892e7ffadcfc85a713bef1216f64107766c367d5e43a0a66fe5585632dc2de 1104 clasp_2.0.1-1.dsc 8f8c9fb1e1b9f49f3c4f5ddd98417d29813dc5779f1cb4246744a152021509b7 360429 clasp_2.0.1.orig.tar.gz 71d45b864009d9f2277fe6b9aaefc972aa2e4585aef64f2ac4d347beeb4babb4 5547 clasp_2.0.1-1.debian.tar.gz 8c3943993aaa3a6e624ae761204d26a8533bed9affc01ef5d08e67b7d30b1bcb 367668 clasp_2.0.1-1_amd64.deb Files: 3b7f79b7fb6da8f4b6f038792bc58e19 1104 interpreters extra clasp_2.0.1-1.dsc ab8ffd5a220da0e07ca2e020eafe9450 360429 interpreters extra clasp_2.0.1.orig.tar.gz 02dc986fe11977cc64ff0f4f324e4997 5547 interpreters extra clasp_2.0.1-1.debian.tar.gz 4d8117afb648ad36460479fa0f67e316 367668 interpreters extra clasp_2.0.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk293WIACgkQvx6dH3bVKsSNDwCdFtzhxSjZzovOzIoP/o2WnlVj UxEAn3K5uhfT96PnHX1Ly8LYfCzV5bMi =dc/a -----END PGP SIGNATURE----- Accepted: clasp_2.0.1-1.debian.tar.gz to main/c/clasp/clasp_2.0.1-1.debian.tar.gz clasp_2.0.1-1.dsc to main/c/clasp/clasp_2.0.1-1.dsc clasp_2.0.1-1_amd64.deb to main/c/clasp/clasp_2.0.1-1_amd64.deb clasp_2.0.1.orig.tar.gz to main/c/clasp/clasp_2.0.1.orig.tar.gz