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@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@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.
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
