clasp_3.1.3-1_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----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-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
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-----


Thank you for your contribution to Debian.