clasp_3.0.2-2_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 25 Mar 2014 07:27:42 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.2-2
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
Closes: 742514
Changes: 
 clasp (3.0.2-2) unstable; urgency=low
 .
   * Bug fix: "fix up TBB handling for ppc64el", thanks to Colin Watson
     (Closes: #742514).
Checksums-Sha1: 
 29a41409d3c807c74b655642183c2de2267a083d 1983 clasp_3.0.2-2.dsc
 d50568121918f015865e4a5a2f146998a0d9ff1d 6260 clasp_3.0.2-2.debian.tar.xz
 c3581e91586c7c5d9bc720f4492bcb26c9daebbf 423586 clasp_3.0.2-2_amd64.deb
Checksums-Sha256: 
 8e32573e50da79119fa605a657f6d95aab6177621f8ea9f53aca63993900b3bd 1983 clasp_3.0.2-2.dsc
 10e4b2b342db63ac188e0cece26a0a4719c221926fe09b113ecfc11269fdf8ff 6260 clasp_3.0.2-2.debian.tar.xz
 b7b685a4f0843d234db309920f8ba74717c9da298fcebecbf0199bba5970dd21 423586 clasp_3.0.2-2_amd64.deb
Files: 
 d405f46fd1b633d92b88927102e21a0f 1983 interpreters extra clasp_3.0.2-2.dsc
 06cc2172c2ca66f1b6ff5069a3f1e3d3 6260 interpreters extra clasp_3.0.2-2.debian.tar.xz
 4d3aba21ca3b4ccb4488163e4b36cb35 423586 interpreters extra clasp_3.0.2-2_amd64.deb

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

iQIcBAEBCAAGBQJTMSk1AAoJECeX33SmZpqpkqMQAIG2v/uQEePm4feo+uIMiUzr
oY0LD9Yqyy1o2x1Xd9gn93BlN2nOYGoQ7+PnF2entwgXBarYQ8TIPNVk78TlLArU
yd+XC0c7jtsdmZSGFtYHSVPKrIHvv1eubDYwybwVTleawEiu4Ks2MxGZR2zTgiEE
/VV38LEOro1oEY/X8hp9vcMw4vR2IW9oYtZwGYG0hFOWmsXx7HnxK8fSQQWKQyi3
pPFZIBD0FDcK2vkZ9L4tw6Xgu4VrKC1mTswd2h65S2J3jhJQXfWGUCNnRcrcJZjn
fk95Xbj0cdCjPKHU8WZ05lf7lj59D4BcTb6TQpFUqxH8Tu7Fme6u0TP/qTFUn704
amxjnbCpgIGERuxy03V1mwrApBYm4epYnSKq+h3zW0pMQRL1Fa8c4GYXV8EXab9V
Aa6mKTGHU1VMfYKre47bOcELgO9OQ7aG+J8mFGXXoXJP1J5Xg8joWuwCTueiddDR
z67j+Vn9baT+RDC+x0XdE+9E9gS8XAByGvAnkwGfXIic3owPnQUu4/Kzcjc0ZhJf
WWcCaSyireIJl/Mg4zRSwSlpGtgguaxRe78dU/m515t5I7dLoSkb5n4c4sQtDx1H
GurYq7X2UeFIyXAgsa1OJDZUfcrXN+7UPS4TmA1RSGu3qxLqxFCWF86hY2g6NGTK
6bsH0ZdHN6SL8dV7NxlW
=JYHz
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.