-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 01 Dec 2016 08:22:07 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.2.1-1) unstable; urgency=medium . * New upstream version 3.2.1 * watch clasp releases on github * debian/copyright: update copyright year and github source * debian/control - Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev - point Homepage to http://www.potassco.org * debian/rules: drop libtbb-dev and use c++11 multi-threading * clasp-manpage.patch: point to http://www.potassco.org/clasp Checksums-Sha1: e25c87a29ad5d9b7e3e65feae7415aa84b77b323 1990 clasp_3.2.1-1.dsc 532a00a32ca03351f9e3961c055665d7782b5f06 717604 clasp_3.2.1.orig.tar.gz a8b4c9ccab11db6161efb0b895e51bb7d9a3a76e 6916 clasp_3.2.1-1.debian.tar.xz 05216e725241f9fa129831fba1a936c25ae149d3 5179560 clasp-dbgsym_3.2.1-1_amd64.deb 8d142bad95c8c3185a0649b6cbb7facf6b8b3604 5135 clasp_3.2.1-1_amd64.buildinfo 582fc44cf871479394164c7ebbce6f3e19bbab2f 553170 clasp_3.2.1-1_amd64.deb Checksums-Sha256: abed296a2395dd0fdcab7ca03a87498c15103ef4979f85fc77e81e1b7d90c959 1990 clasp_3.2.1-1.dsc 987513ffa84f885d7fcf94f0edb2ef25c8b5730553513120699a4820c9bc42f7 717604 clasp_3.2.1.orig.tar.gz b346f5b7b28d7d42e4f5308c3a9b405b7ef05e6bce607365f7f1699845a605c1 6916 clasp_3.2.1-1.debian.tar.xz 791dc9fbd886c4d18890dcf6d6cbd78c33ca6745627fe256f45a3fcec8d58633 5179560 clasp-dbgsym_3.2.1-1_amd64.deb ace4d88e88c48592c169def8ca566706a727bc1d4b5e5281ca1445f51fbd2ca7 5135 clasp_3.2.1-1_amd64.buildinfo e9d12b3f117d9f7a943afd742a3b77e3fe404ac998b69788964713640e64dd85 553170 clasp_3.2.1-1_amd64.deb Files: 3cd1b3f16123c9a451ea55adc3e1a529 1990 interpreters extra clasp_3.2.1-1.dsc b5b1a07a8542697385ceacf3c451b107 717604 interpreters extra clasp_3.2.1.orig.tar.gz 6b7081926f7987bc819d550e58e7490e 6916 interpreters extra clasp_3.2.1-1.debian.tar.xz dd765958a50512d2e797f156630b00b3 5179560 debug extra clasp-dbgsym_3.2.1-1_amd64.deb 23a47f4fe448b482105e08d83410266c 5135 interpreters extra clasp_3.2.1-1_amd64.buildinfo 7beac7127bc348e1fbaf99b86c8b0233 553170 interpreters extra clasp_3.2.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhBFfEACgkQJ5ffdKZm mqkcZA/+I2lf4qLRjmnIoukrgETGn/Q2kn7MZBoR5iCZkBQv6QBcDKjhbNatK+1K PIpnj3dpyxStIJOFE3+1Eqk/cIKbR8W4iLsh6Q5Rvoi+SwpZKNBqJEwvcZe6wRoQ SOI10Kt7oZw1E1S3pMMCOjxlgwO16/Z6jU1itaeZw/vzJc7aJLwmDnLRmpkgc/5L OESa2oz+ZfIasO1oc8jmavqG2yz3xTuXsuAzGLVE/Xc0HWNGNkjxEsjBpSi5crny UnBl1z/4AU3UO/6WkP3kVURakKvVe8CnaTy0fAo2phl2kAXGyqZEqsvVBz/GJJ8h Zg6DL2jRkXQ37ut+RPQ+f9jw/y+2/7hovORXwgHWlUwKhW59qUgQDYKyUAk5Ey7G r1/A9p/W3YT904D5eHwmfAsgdOv2qRk4z42BLenRUiDp+oEo9x9Ne3wgzd8j3vFP o5hs7M01UK3wznuW5BbiCm2pucIXaHPTfdqlX+GGVHSegtfO9z8aiZ6hHJ+Z9+1w hwMw1PNNhd7/agsG+K/j+hMOWgl13aLDuE/EXRoxFony7hG0IkY4nxyhA0eXS9V6 UIQAFXzfkwM4pR2CQExhqkH3/q2/i5fl69+noC93QFkhuygduNHwvm5r59C56LFF HZHHHMW3vqkwEuZFuUl+NSnX0HJjEdWLg6C5GewGGKKb59qg8lw= =oEQM -----END PGP SIGNATURE-----