-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 07 Aug 2014 11:53:54 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.6-1 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.0.6-1) unstable; urgency=low . * New upstream release. * debian/control: Fix Vcs fields to use anonscm.debian.org. Checksums-Sha1: b1196aa732202a67cfcd6907794765c71530f932 1994 clasp_3.0.6-1.dsc 833fdf3f3be8d56f39f79e057f2ac9f042960254 485792 clasp_3.0.6.orig.tar.gz 1db20138cc0815f3ae4847a1f0e1feac66be88d6 6324 clasp_3.0.6-1.debian.tar.xz f8664e8838492f242e88a27e68908fe22031e160 436586 clasp_3.0.6-1_amd64.deb Checksums-Sha256: a46205887f43325a140493a7fc51416968e8248375232628e05cae2a5362fe49 1994 clasp_3.0.6-1.dsc 325c64247ae1e60642b065798dc1e2a984ce067d9098361f7a778104d33ee27f 485792 clasp_3.0.6.orig.tar.gz e20be4015ca2c818082d47a359dc074a2aa03f4c2f89871d4173cb25bebed97b 6324 clasp_3.0.6-1.debian.tar.xz bdd519c685e9397a8907b36c68c7905cb7a0a6e6559fc708987fe7b178edb61e 436586 clasp_3.0.6-1_amd64.deb Files: 06f90632f69d1a2c9125c2e4f23fc5b5 436586 interpreters extra clasp_3.0.6-1_amd64.deb c589ab650fab02436e23abc961739400 1994 interpreters extra clasp_3.0.6-1.dsc 2a3149a6e7545fa34abfb55b86aa0d42 485792 interpreters extra clasp_3.0.6.orig.tar.gz d0fa7b6e3c7e350cb671a15b499901b0 6324 interpreters extra clasp_3.0.6-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJT42oDAAoJECeX33SmZpqpLogP/0qGi6vpddMmBK7eQzFBcFYg HyiApngbstgStxUY119/RX1VFJDCkWyHczRIQ6RKGTrlh93IrpZRVnPpT6K0nPhB IETDv7rR1beTI+/giAJkAUCoyI2ISH2G1DWuvI9E4m6ldirakGstHJu1SkF9a8/a 2raSYYwQMU1nFUI/+mHEKy1oqj04DrrlLFylTvcMb67YbMNbMxUYFin86gc+7Ukg 6PBK9XHZ4If6qzfOxrSbzL+84KV/P8277xtcdqJNv/93KtzVg6yTr8OVh5asW+DA QlZxSyMs6FXrVFu9hwEas4zVgcPzHQ+KNG3hJGwvfMq1R7whkNtBoQ0bFm3Rm/u8 ZUu0z7Rq13PXpxxNZhwrwCVTisezha7ebYZdhdyEggLtuOKht0nJ4yCPTH/vU6Vm xYimDa7ly9kNmDo0AqUzE2TXdypRAOUs8cHe0UDYM3JeJPaYy1izaJVi6GDAfTXC apYt/Ro1PTTDI2TuTDQug+f55lLK3tYijTYK0S7yCxFKo+uvWiNoZcp3lPKNOolK I71gl7ebs+e8cuWONkfT2lX0AYECJvM488foNHH9okizg/HM3rSd6mg6JKfqXsAi OH430CLLZXipb0/Eadv+5TMSt1Yrle0134AGAPaSEyTvRyohQlhyZzDkeBkrEaKa yHL2SlsyY0xnAJ5/VAJQ =SHU0 -----END PGP SIGNATURE-----