clasp_2.1.5-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 11 Feb 2014 12:37:05 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 2.1.5-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 (2.1.5-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/control: Bump Standards-Version to 3.9.5.
Checksums-Sha1: 
 4a3a7d25f66360c5234df12978ef812d85a5e887 1975 clasp_2.1.5-1.dsc
 8b95d2a8ab31324a852811df6b23abee69994845 402696 clasp_2.1.5.orig.tar.gz
 fe4c799e7ad8f383af1da4defe85490ea4f8dbda 6120 clasp_2.1.5-1.debian.tar.xz
 a53f3531e0777381ab189b5743d80d5be9b9d9d1 361586 clasp_2.1.5-1_amd64.deb
Checksums-Sha256: 
 80833dcb239834f70f81a5ee1fa802d978a740a20e9c31f07cb879f831abadae 1975 clasp_2.1.5-1.dsc
 d37276cc96c00d8da91c65f9d371353c86e7981fa88d1fd24574e6327053c259 402696 clasp_2.1.5.orig.tar.gz
 f65aa04eb001b36d1d56c2913e3ac1da604da041b3821d40d2dd94b6e5292acc 6120 clasp_2.1.5-1.debian.tar.xz
 4520bf7b1369a9b68f076e2b7bfd9db47b059251f3745c639f5be1e47b480465 361586 clasp_2.1.5-1_amd64.deb
Files: 
 a0a5560c54a8203701b3f128ff589749 1975 interpreters extra clasp_2.1.5-1.dsc
 1894074cc02dc5e0bb9921bb290e6501 402696 interpreters extra clasp_2.1.5.orig.tar.gz
 3f33de4c68604d4f0afb579d00239bf0 6120 interpreters extra clasp_2.1.5-1.debian.tar.xz
 87a2f3a546bb082b767c074309bb5ab4 361586 interpreters extra clasp_2.1.5-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJS+gzUAAoJECeX33SmZpqpb6MP/1/3svneQEEnjCNyA62qcotM
bDjbaN/STqsAbbnS45D6Kh4N3EuPMQtqECTMXmX2aruDg8RzlYmmMZnsNmHZQc1q
/2t5fva4mg/FF7LUbUO6NL2392BzMTN0rX02O3VoqvjvO+rfPXct7tSkr7HTotBw
aIqeqxi/3BG8vjI3zMhJti64vygst7ntDBydepDqZ05lPzRjCzqA1pwO9+nVvarQ
F5V3fa8YBy1pp1WGvIl+7lUytA7rvX8kB872iZsX7RRo3JVACqnITlZKFy0Qzs4B
f0YFGQ+V/WPYa2vMJU2ynDmB79KFTIUUych/+9VnX++PxbNH9jx6Z5AgvLGg0cxZ
WLdfu1TJfFDpZVYLeTwq0Cun+UEOia9viZVTIYa6StCCNw4pMAa+OaFqnF67XohM
TmMa/wMCU/RcKkm3RmUx1MBzWfVNYbCYBtF01eSngUHcOxSVoHQ6vF8uJu3p6VUx
iWZQl1lxGjkU935qD30OwrK6h2Ilb7m68Xlhra21qyJF8SD7t39PVFg3h1VplqM+
wwSDS5tsS+t3aOV1yh2BmBP1h3KFBdv463tZWKF3yjwr3nETAnKJaQmxt3Qd5Ub/
NQF3mfSZsrzxlnt+zBFlDrnr9Q2IIQGAt9nFfDIsf+/Fd3dqL0SeHG9IUs8lDDR4
KKLtKValaQ4oZrp2nxoq
=3awA
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.