clasp_3.0.1-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 25 Feb 2014 17:04:16 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.1-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
Closes: 739628
Changes: 
 clasp (3.0.1-1) unstable; urgency=low
 .
   * New upstream release.
   * Bug fix: "3.0 cannot solve some problems solved by 2.1.4", thanks to
     Julian Andres Klode (Closes: #739628).
Checksums-Sha1: 
 85e91ab3b532e5f1b5d790493d161b8f2c1f794b 1975 clasp_3.0.1-1.dsc
 23d47997fe1f474785596c17085c32e76ae5d5c1 468196 clasp_3.0.1.orig.tar.gz
 125ece6505269b67e6cee1f2f4bcb5bc6ea513e8 6212 clasp_3.0.1-1.debian.tar.xz
 a2a144c88f97e2209c4701b62f234e4be8d99f24 418770 clasp_3.0.1-1_amd64.deb
Checksums-Sha256: 
 57df595716934fc81c2d274b04acc45cb5080bc536429c1ffc0be3590a3889f8 1975 clasp_3.0.1-1.dsc
 4b0c30c59591e49f489b8682f913c81500ca092e44827bf2ea3d61161a7ead2e 468196 clasp_3.0.1.orig.tar.gz
 11f151be2246d8edea30f5071a9a8848269d54ce0e0410d9701c342addc736ad 6212 clasp_3.0.1-1.debian.tar.xz
 21ac0580e12ce84090ca5844554c4f3d5311b4ce741c7c5e32f605a1738390ac 418770 clasp_3.0.1-1_amd64.deb
Files: 
 bd8825d6ffb3838bcc7f04cbac5e4b92 1975 interpreters extra clasp_3.0.1-1.dsc
 79ac9d9103a0127c1cf07663e4ed6b0a 468196 interpreters extra clasp_3.0.1.orig.tar.gz
 469344b80c67c3597aba3416540b7d7e 6212 interpreters extra clasp_3.0.1-1.debian.tar.xz
 163f2cd7c570c3639500f4dee0f1ad95 418770 interpreters extra clasp_3.0.1-1_amd64.deb

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

iQIcBAEBCAAGBQJTDdfcAAoJECeX33SmZpqpKiEP/ApLMjLQCMe8qITzHlj5NmR3
pH1aCj2I67VZb1W4GrzVzYysqt1/ZWL41n04QFfPj4eU/iB2eNKlXLYLsCTNwTC6
mBUlFrorbQ1fZLS1XdUTzCsC9e9T7wLu0UzmYd+UVisKwqm5lCwLtJKa0PJUFbAZ
hDnjXlnYcaE03+9UWfboK2UAkjhH/zHkpFaGAeyVQQ6X8CDW4PN9SXk8GMiEMyTJ
yKo57v3hdM8/7qhPgMlgbqCGCIZ50GKiohOfFoViNU9G107s2WjoiviItFiMw4nM
5sRBWKI7Ic8O19u88uZ438SDxkfggeCM9TVDW85Tasxjh85+qPsj74FiDlpm3HGm
75UwmxDaKeP1xDYZ1EGaAWQE0kJIVEGdvuT/4jNb1R2hByfHgfVIjfvu8rCOwY41
baDdis5I+RGbzwV8LVSf7kvDURm1kvZ/Iiq9sjtFkvLnuOr3e+i28DVysFl6MKX+
UjXoqaClsxYYh6s3joaMKiKHbQWon8ky5JjMKEvptun2neNn17bAEgVO/0duvqHf
3bdG7Eckoz+MwUEHHEzHMqV+raXygg9s3dNaZnD8a3YJFRdzz8oW3RYZnMjzZmm2
KVCHPKRKT1nKHZCQprBHeJsfH1J18vWMtPeFxsQ4EIEUG7/7VscVgrR7Y0nCuJnT
th7nCLghhrkJ/ejAoAQ7
=T0C2
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.