clasp_3.0.0-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Sun, 16 Feb 2014 11:19:35 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.0.0-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.0-1) unstable; urgency=low
 .
   * New upstream release.
   * debian/rules: Call configure.sh without --with-claspre.
Checksums-Sha1: 
 4ab3de70d363fc5c805b02d2296f21b16664c0c2 1975 clasp_3.0.0-1.dsc
 a45a1ca97e3274eed8228d9d38782b20ffc736c4 467475 clasp_3.0.0.orig.tar.gz
 21670893a2b0ff8893f9740bfbf5068fb14d65fc 6128 clasp_3.0.0-1.debian.tar.xz
 17590159bdc903e6a0a43de30c5bdd6a7518fe64 418268 clasp_3.0.0-1_amd64.deb
Checksums-Sha256: 
 b899959d6d5b9fdd6bf69a8a80947bcece6a9c2e76a1ebcb53c0f4013e965b47 1975 clasp_3.0.0-1.dsc
 d55eb71b39f7972855559c7c273ae93f22dd50df356669936e2cd5bdb0ea543a 467475 clasp_3.0.0.orig.tar.gz
 a9bfc410b8ef6ae19d88f228ee3593656409aead865a3d3aa6d3dbea8d992c7a 6128 clasp_3.0.0-1.debian.tar.xz
 f1232223665e0ae42927f1f0876c5806e7e396f7d56a7e20587b0218ab7329de 418268 clasp_3.0.0-1_amd64.deb
Files: 
 03669067b61fd36a88bd224ec6f28722 1975 interpreters extra clasp_3.0.0-1.dsc
 ddfcb818b6f200c2218cac73e0860f7c 467475 interpreters extra clasp_3.0.0.orig.tar.gz
 4dd1995ad4980c73518928a984d205cb 6128 interpreters extra clasp_3.0.0-1.debian.tar.xz
 2de9237e073932656b85b0f3aef3b07c 418268 interpreters extra clasp_3.0.0-1_amd64.deb

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

iQIcBAEBCAAGBQJTAJEvAAoJECeX33SmZpqpA9IP/04n1LI1xzDhw9T2UQCSLFAA
wOmXX+sutSfH263nz/qzzWtjrraS/UebmruG6g3kyxsjfLoGcXhg6HWoIdcYRELZ
r1UazBULSTjO4TQSFKWgQyQcxFEqPExfZxLbG2XcFPgVWnb1aPn+8xUvu7PADnYk
ea8jDOReeGKgCxQVW2qwXxTaWPNuE0AYsqA7xR+cYbxo39v+o2w9znSUjToNWEc/
G4zo1qJTscLG+AoMqyb7LSUlXU3wm6qsOo/wf1iFlVzGvwZVv9g03xV2y0IF9/ob
SUDzi1ji53U/vnmg0I8W7kECSaDsAXFk9DEjSLcyLYJptU/lqCMbgTulgbW9Cdlt
66pXmsWRUfRxm6vQfNmPDMXB58+7qb62kwVNzgA0FgdLZq01JLhFHslM0Qvw4sJT
IVq8KJNXeqGjzFAbdmoRehgj6m2GMTD9ZNpuEE/sdNSRWGC6kTmtnQ2hUoUhe1X9
HNeHAJnNb92y027ZRe+r+V6O2EUZ7Cigelhh+4qohwd+cXJRQp1qpHWQJAgAnXI4
kffnb204vqOpQAqz0tLoALDPgQPsWvu5R/PIurGvbNNY68xZv9FWHYIM/v7WByT1
dltDx1+FHcvMV0PepLvhpsikFI/y3INlljLXZ/YqUeuAFSn6UPMLUZHc+ZwnWQ9F
ffHZshpkqq0XBK4cGur4
=s60V
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.