-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 17 Mar 2014 17:11:58 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.0.2-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.2-1) unstable; urgency=low . * New upstream release. Checksums-Sha1: f65126bb23389fe9096e321902835eb8a30c96f1 1975 clasp_3.0.2-1.dsc 76ea33dab3d48ad49a20f712b8c0c63f11ac2c89 480782 clasp_3.0.2.orig.tar.gz caf0380ab8257d2f270a2bffdbd91d97ed8f4257 6228 clasp_3.0.2-1.debian.tar.xz 744b1018262e9ee4bc7395c50bd887e365ba24e5 423250 clasp_3.0.2-1_amd64.deb Checksums-Sha256: 750ac6aea185447f83e9caee38579919228dbbafe49f870b163600edf98833da 1975 clasp_3.0.2-1.dsc 2c29940404d02d4dbc5b2cabb17cc63fe49a4a7c06ec1a2dbe4c877f83edace9 480782 clasp_3.0.2.orig.tar.gz 94490b749c85ef6f887043102b72382a7c144749c0841be05ece1a985a8aa98b 6228 clasp_3.0.2-1.debian.tar.xz 9b514e31029dc2c4e3c771cf6969078d09cea60c84e9266f901845f7d23891dc 423250 clasp_3.0.2-1_amd64.deb Files: f8cddceee6ff161d82e5ed11a5886ad6 1975 interpreters extra clasp_3.0.2-1.dsc 3ed214d06d0818cbf83775ea1b6c4571 480782 interpreters extra clasp_3.0.2.orig.tar.gz 262620830277c82157b7b5c2565722fd 6228 interpreters extra clasp_3.0.2-1.debian.tar.xz 8f1d4c2713f85a4f1bf6c9d9ccbb8eee 423250 interpreters extra clasp_3.0.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTJyNmAAoJECeX33SmZpqpt4kQAJtzMMllycTRZUP5IRqyv/vk QHwzpoI9VzQH2U20UJ90O3fjhKPOh8P24be8cJVwkpalpGcOyZzyM3lPGvGSUrQo Y2WLKfM3hafBJ2+5Kpx+pFm9M9I1/zfKxh7AOEyc0kN1aVqsA1Wq1vrF61TS6F5N herwRlNhbob+PE12PifZnBCQNlIaEOf4opkmj33Vc8pfTyvgw9oSAMKxC6eWKn5n FgnGATSHWln1uDqALqC0AbrwWsESkyo/D3l9Ys99TXkA98lyCpdRELAK8jR+4o/s vcCm00gzXEGPpYb2m+8txU5BrOWTvRu4gcUGcqHHXP9Sedmk67a/XoFyAI/KMYDg /5c7jfqfglWyvn6gl8Gn+vGhryzTclMCUsmXEneerVpnZeVQwf/2z+7ui1TK7Pcz Orcdj8ZQaLaJQ37/Y63y8IEIJhihdMYwCO+sLz3t1ktMES462s4x+Z68m4S6gVSJ TeBfBEYDX8vd0FbLgKDb6l+LKMEtPTdKEPdzpHRdZ3Vm1hi/cD1DYqq4EC0p16yf 1o03o0iroOA/ZFqF1qQPY9z2Ioy2uXcFwflDJXybnM2yHRh6PpUq4o72LcX/Oe+y Lq0DV5IYZs9D2ReOdYjVYr6Ff8XZ+5FZNqk4c2ABuzouW1sDkqLyuB59A3ykAfat 8JxPJOtUc+9TjJ29f7Mc =XbeG -----END PGP SIGNATURE-----
