-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 26 Sep 2015 08:57:05 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.3-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 Closes: 799989 Changes: clasp (3.1.3-1) unstable; urgency=medium . * Imported Upstream version 3.1.3 * debian/control: Add pkg-config (>= 0.28) to Build-Depends * debian/rules: Use pkg-config to get libdir / includedir of tbb: fixes "FTBFS: Error: TBB library path not set or 'libtbb.{so,dylib}' not found!", thanks to Chris Lamb (Closes: #799989). Checksums-Sha1: eefb54455f5b7311f0b3359ab244d3b804c081e6 2016 clasp_3.1.3-1.dsc 9a261b64586092179cc3b327895b9b3521818ee2 520291 clasp_3.1.3.orig.tar.gz 3e5aea8e7d06ef1be3398527be449806e2b797ea 6588 clasp_3.1.3-1.debian.tar.xz 0a503827d263099afaffc34bb3525aeccb9caff8 464934 clasp_3.1.3-1_amd64.deb Checksums-Sha256: 4b880a4f1826cece8303853338c2620e49d324093d8fb103f4c808d77ea6ca74 2016 clasp_3.1.3-1.dsc f08684eadfa5ae5efa5c06439edc361b775fc55b7c1a9ca862eda8f5bf7e5f1f 520291 clasp_3.1.3.orig.tar.gz 15edafcc3152c8432035ea19962a63e0f1aad34ec7b3a52a895c48490a1be1d4 6588 clasp_3.1.3-1.debian.tar.xz 4f07abfea5f032c08ae468fd81f30bfa47bf98c53de7e83fcc216947689e248c 464934 clasp_3.1.3-1_amd64.deb Files: b2bc08301b3cb4b1f44417241457fc07 2016 interpreters extra clasp_3.1.3-1.dsc d3017281840e0d348af277c4624d27cd 520291 interpreters extra clasp_3.1.3.orig.tar.gz 92efa2883653e07937e3aeb1a1a63aeb 6588 interpreters extra clasp_3.1.3-1.debian.tar.xz 5aeafc004ee368dcc5c0af802d8aacc6 464934 interpreters extra clasp_3.1.3-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWBkZbAAoJECeX33SmZpqpxAEP+wcRtMoH7uFwhiTbJjMdemGf vtmgiwW6IecP7F+9o2KPTI8sCEamCglMoUAt8qR3jBwMnnUwD7nxNzn91PFmXCed frQmBt6YX/sobfFD93FhWHUQ4eC08iKcyy2cXMpmIHnL04df9RYS+HCqKCgbclX7 TiisJkTEz8SuwvZFWyuM8pDAloCS3GQHt7Gt8g/0xTHp18BEHPdNxisE3MiQUHnA tYt1FatN1PFPhpZsJpg9GS7reAbcTth2EyTPbdRGfWdHmOgKp1O4GuLAroHFoowy bQduHb7wuFf+BLSg62EsoNCZ8cxSskAYrG7drMC/fTKkaxPNqW2UHhc0YSeCyE71 +ZWSmtt2YvHHOyMQPNSvo38p8g2A3HVFoHdUBIrIQGIaDkgljf6RXLVJ+VHyjaim ltHkYEHBRS+R3JqimVCdI/U9ab6HKatGW07Nrq91KV03TrNXPrKGNoV7flkF7kNE UsTSPV4ltaBHeMYu+n27fLg84QmptU0nluhROneTCDLjEkAsf4tsFU2rMukmiY6E aFmAChvUCghjQ6Tf8ESBOZ5/xdw7+tDdKuhEm5dS2qiUB3pjIGw/V24oKuDaxcW8 Y9Eji1LVF/L/0IaxMDtGVlcpWsM/WAAbXf5NL+sLrpWMxuKzlNo/GgX11rRzKJh4 f0nERFySxmNA6SClGBE7 =2c0R -----END PGP SIGNATURE-----