-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 03 Dec 2016 11:06:00 +0100 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.2.1-2 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-2) unstable; urgency=medium . * debian/rules: disable threads on powerpc,powerpcspe,m68k,mips,mipsel * debian/control: use https Checksums-Sha1: 469423dfe62a916c67c335a4327d725aa47dd488 1998 clasp_3.2.1-2.dsc 8a861b939778edc154cbb546671e22f34a89484a 7200 clasp_3.2.1-2.debian.tar.xz e9dca2442fe46a1708977f3678d4dc4b4c8d7d39 5179500 clasp-dbgsym_3.2.1-2_amd64.deb e91c1e7a051efb74a6146a9e1cef77a195478fad 5136 clasp_3.2.1-2_amd64.buildinfo 3945a68d102a7ea832703a34e64d1799e8c6bc1f 553326 clasp_3.2.1-2_amd64.deb Checksums-Sha256: 6ebd8833ed70596d02ae2dfa208b2c912ef1843f832bed869eeadd3d7a14275c 1998 clasp_3.2.1-2.dsc f56f67cbb9da31bf06ba73beaf87cff00d1c9346ac71966003e89f77f666903c 7200 clasp_3.2.1-2.debian.tar.xz b3741b96cb587c1a9c84c6a137a97fcf0c8edc17722bb819066c9f69c25211e4 5179500 clasp-dbgsym_3.2.1-2_amd64.deb 4bfc8f196f85c9f339bb9105a8bd0d92aef662c84749bdde0e94db0ddc277c5a 5136 clasp_3.2.1-2_amd64.buildinfo 7ea2b95a4ae390595d5fd91d282aaaef3a20e7908a6109ee729c98af9dfb748e 553326 clasp_3.2.1-2_amd64.deb Files: d4d36efd6d9c3632bcaf203c7627984e 1998 interpreters extra clasp_3.2.1-2.dsc 05963b68401a268744a156c3bb31fef1 7200 interpreters extra clasp_3.2.1-2.debian.tar.xz 8658ec4612524854a8304bc36df9bdb4 5179500 debug extra clasp-dbgsym_3.2.1-2_amd64.deb 5c648f411e1f9736548f57df9657c74c 5136 interpreters extra clasp_3.2.1-2_amd64.buildinfo b83fafddc773319303254d858403d0d4 553326 interpreters extra clasp_3.2.1-2_amd64.deb
-----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhCm44ACgkQJ5ffdKZm mqnreBAAjZ+utxsJ4LDkRAmutXHDyrz7/rLGiRm5L1OTHcvunHHLrZ+yuEmWDYyg jrupdgeOmMz9u0y3F6QDB75xIHcdU3Ha+i363G/f+k/RyP5+ynXicQanl7r9m2sa k7064pXowRaR7Z7Kn56S5xMvv7JKKDlrM864yjRrwobcamvI1q8hf74GQtor+83p oP4dfLAqPi297fZYDpjTlq6RQP41vQKwhTKUNJBLovxrG4sFMzsnk23fAMaCX359 wvfTqAGgyBujtwi5eT2DyKjVBJKIOY4Fhwf3zqNk+oMqg8BaB4EAOlBX9jBb8YhU BXC5y31knjexfplA08rQ2D2/KLVglF+jeQ5GHZXhthlZsr9fns4Z3+Eeonf7D2jQ kNmb+g0EoGVhkRInepP2t8C73hekEgbCtC5DJPPhCSZHoBbh3JMdG4kJ3g4/r6aF 1aKPFMFfbg/3/BRFDMZuuwfeQ2iEB14hs/Bzl5WbBGLRnQbTYlg9798sjv+M7GOL ATMmrdgJu1yeuFTDP7f/Ydja84yDA4XNuVPpmOfN/8qsEMmb4FMhMfG+CPeFQ4Sb y5kZECJDrTDeih0EgTHUvdkhl1X32mKaT7qQJIsTVMG1+tGR5kBjxz1D/jTaRp3M pjW+nrlk//SU2nstwG55lWmh34Duy2OnR26sRCpqn73P7P5JDYs= =NAw7 -----END PGP SIGNATURE-----