Accepted clasp 3.3.2-1 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 18 Aug 2017 07:02:43 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.3.2-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.3.2-1) unstable; urgency=medium
 .
   * New upstream version 3.3.2
   * debian/control: Bump Standards-Version to 4.0.1
Checksums-Sha1:
 6e43585ce21114494a061926f86ca06c562fdad1 2045 clasp_3.3.2-1.dsc
 a4d166120e22599f71d7bb02fa1525f11402efbe 820343 clasp_3.3.2.orig.tar.gz
 868470a5f7dce04b02d0468f16f19dc59c214e47 7240 clasp_3.3.2-1.debian.tar.xz
 32bae3ee92aa6337574f665345a587fab0232d6f 5276204 clasp-dbgsym_3.3.2-1_amd64.deb
 697980b6ce77ec46b120ee09734709051446392f 7028 clasp_3.3.2-1_amd64.buildinfo
 f16c591ae546c8c8ce7bed1805596f061b07b5d1 637860 clasp_3.3.2-1_amd64.deb
Checksums-Sha256:
 5035cb9af4c61daa4e584c3f9d27dc55ca8e45a4c40c6b379345cda7bd33d340 2045 clasp_3.3.2-1.dsc
 367f9f3f035308bd32d5177391a470d9805efc85a737c4f4d6d7b23ea241dfdf 820343 clasp_3.3.2.orig.tar.gz
 c184c42aeba9217add5388d71c4ec3e172cbf503bd8d29b52f3a12f6566a98b1 7240 clasp_3.3.2-1.debian.tar.xz
 6a822995ddbb28a9097504d0b35a9780d86fb9a6f1575de87bac0967decc0702 5276204 clasp-dbgsym_3.3.2-1_amd64.deb
 71c38f5b62722b589a3f1bc65cf8f9eb6a331d12dbd7c2e1aec1c308a233c6cd 7028 clasp_3.3.2-1_amd64.buildinfo
 c35ff0ba4d04553c3615f6c83a755400376305db3b3db7a251b490e1b93cbb65 637860 clasp_3.3.2-1_amd64.deb
Files:
 45ae402222a2e345fb4218adcaafac8e 2045 interpreters extra clasp_3.3.2-1.dsc
 7da6238ac1a7099915927ea4e2b36792 820343 interpreters extra clasp_3.3.2.orig.tar.gz
 3b3a0748eb219960f2026d24f40a4a37 7240 interpreters extra clasp_3.3.2-1.debian.tar.xz
 19e794e25239e24cc44d944a0ffd17fb 5276204 debug extra clasp-dbgsym_3.3.2-1_amd64.deb
 02ff81489565ad78b80dbb12ee549d1a 7028 interpreters extra clasp_3.3.2-1_amd64.buildinfo
 2c790fbc6826077213708dec55bb3bce 637860 interpreters extra clasp_3.3.2-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlmWdegACgkQJ5ffdKZm
mql+AA/+K5cfy+1LtbFCxdugQUztWPnEtm/V5tIdPhXBbc0EgHYnJhu52olP3Fls
xapAP3tJcmQK+XkGBfPTEFfPP6YkDWy/PM5RBpxEXttX0dPGVlDtAWXzpzqjDC+t
AZq4debyA3RyNtyYocbeaYrRTxqrOUccPDSt14GsiD8dI6rwTQhvi1iJPUO24wrZ
17ENIfwY2AUmB9oi4kD/4JuG37WDOlsoGfBNaOaZr7hWBaxCVuv0ftoW9wv9Vtb5
LFQ47oHWkIhKy3UfReEwdx/TBlN//rjYpJr5TtB5xkHhsHO34EEJGdlDklWVyERT
sb4WCMKecLjRcpo2AM+ysYy7zVQv1ZbCcB0ouFwNNZ2BfdMAgujaN2bftfJRC3A/
VRCu64R9w0tzavOgmoWmAAdf0f1hK7umdnTldD1gFSiPM+/HLxBy+WYNmVC+Qhri
pVhoBdAmtwx0fzV0WjED975xjuNGcqAY7mgovKH0i4pq+wrdBgkz2dLzrijz39TX
5Xgih10tA1fTuSNfVcmoyTKLH7hYp9zI+nMq2n3FapV+CiCKuSJHROUbn6rggQUy
pDLHvf7Nsmi0V+6UKgLfNlRciHsNpzgehrJZEsxUziNBPWSLWK57I/5fKAlvceBP
qK+Qyvn8cKSAI2CAohjjchvB6jcXtdFPHhJhrUmSSFJGvQvJk8Y=
=Nj4X
-----END PGP SIGNATURE-----