Accepted clasp 3.2.1-2 (source amd64) into unstable
-----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-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-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-----