clasp_3.0.2-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at 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-----


Thank you for your contribution to Debian.