clasp_3.1.1-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Wed, 26 Nov 2014 08:44:17 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.1-1
Distribution: unstable
Urgency: medium
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.1.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump Standards-Version to 3.9.6.
Checksums-Sha1:
 d8291eb15c369a31444c3c2ff22149985b6a9ca5 1994 clasp_3.1.1-1.dsc
 01a35f05fb4c138bb0bfd8759f36b2eebafa7069 516159 clasp_3.1.1.orig.tar.gz
 7405b8e873ec115244a5f9a68ec8b60ad5c90291 6376 clasp_3.1.1-1.debian.tar.xz
 0eb149f981cb984e126eeebff7441c32f7282b96 460436 clasp_3.1.1-1_amd64.deb
Checksums-Sha256:
 4b5987f993a905db8849d6e38f33130a284b3b55ddf29069efd061e472b5d6e8 1994 clasp_3.1.1-1.dsc
 c209bf8961b99d02d88ed3c9de4570f4bb9bde5f238663be5ce432abab2ac989 516159 clasp_3.1.1.orig.tar.gz
 97ec6862fdb1f49b05bf1cb5b3f11df20223c97599e433b1ca8c489e033c9705 6376 clasp_3.1.1-1.debian.tar.xz
 3447043306f786f9caa59aa45d36ea4897f67e7abaf225320c376200304c6a3a 460436 clasp_3.1.1-1_amd64.deb
Files:
 19ef08c04b37e995add1a00731d3e8af 1994 interpreters extra clasp_3.1.1-1.dsc
 9e07e4d54c1a183a859e9512f7e3a8c1 516159 interpreters extra clasp_3.1.1.orig.tar.gz
 e4d1c9179b930280ef9c2c2e6c5bc000 6376 interpreters extra clasp_3.1.1-1.debian.tar.xz
 cc847540e98931d0e64a81103accda96 460436 interpreters extra clasp_3.1.1-1_amd64.deb

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

iQIcBAEBCAAGBQJUdYb8AAoJECeX33SmZpqpPLMP/036dqXbGi7YDpHufMWgMm0D
T7boBa8ZREp+H69A4+ERBomY43TO2/pYh6J4Qdf3KwMw7nHs+stGwU+Cs8QLwMLD
R1ARZVUoIWllzThTtubYCW3kJRVZqc1nYHsxznrc8fdL7cZMrGZZKtN+7lNB3M0Y
BAWZ3wJI81u4ws1padU2rctwy/Ec9kNUTxgu1W5Ez2CDpH30WoPQVlgecVKsMPup
DWPr3wgCHrfqdkvaPgXYNEvfC4QK9TvMOlK7a1e+BOZu+vLeuQxdLZdsItjxkfbT
zjNjxf8NFBmFL/QeIXMJT73YGGZEh3pf0n15sfPXhFIrCgpICUCUB/8TLrfVqv0S
aRnuRDDCIJanhYsv33fMNOVPMZTjFvuQhM2kDGTTk3gBC0TU7DIpveMBoivYi/lB
5DFHcweEILQgODvGCRqSJSkeE3dUq3iLjRTU9NppZIBch98vX2sBRqYDUfbXWarX
LzPlnlvx7lRLYtyL/twvnRRQlwHArlc11qQIM8zam+UlVUxo48gSUDm/w9EdT+1a
131+RpibUziqxbDu1QSQ3rbl8r1RS99K2skvm6gJi0BLixQdK0miSaod5shefKE9
ORykf/LZY2t5EgJoEkuD5sbSDmAlw59RpN78On7KaGqP3AORTysPlOoPi+59pGGi
8DBW8Y5+1izd8EtI4gDa
=pISq
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.