Accepted clasp 3.2.1-1 (source amd64) into unstable
-----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-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@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-----