Accepted clasp 3.3.3-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Feb 2018 20:22:21 +0100
Source: clasp
Binary: clasp
Architecture: source
Version: 3.3.3-3
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.3-3) unstable; urgency=medium
.
* debian/rules: check DEB_BUILD_PROFILES against nocheck
Checksums-Sha1:
b9ca4f3b0c006267b15315326f878defa620f9aa 2011 clasp_3.3.3-3.dsc
86a6ee25f4a195c136972489ceeb82111567db0f 7816 clasp_3.3.3-3.debian.tar.xz
a0a89d4aba17053fec26311b15c2a58916ce5324 7092 clasp_3.3.3-3_amd64.buildinfo
Checksums-Sha256:
e6a735a0cf25a5096da152734dc5428d480ec40552ef29f504e5fa7aa72e13fe 2011 clasp_3.3.3-3.dsc
55cacbbe63895b802a480cb8f41f4d100a384614db22059bfd66cf7feb4067ff 7816 clasp_3.3.3-3.debian.tar.xz
74e219fc3615643ebe95f7949cc5ec76d6b5e6e202a3fca5ef12e2986dfe2a90 7092 clasp_3.3.3-3_amd64.buildinfo
Files:
60f9b215c947a7ee2d27dfce1c840a10 2011 interpreters optional clasp_3.3.3-3.dsc
ed04ae7c00ba011263fb5c96e01aab62 7816 interpreters optional clasp_3.3.3-3.debian.tar.xz
a26ce36818939fba56b1f614ffe89f06 7092 interpreters optional clasp_3.3.3-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp5QJIACgkQJ5ffdKZm
mqlJVhAAiG960RudUVwRli2ixm/P1GJUJpqEIHfsJ/Z6WId3gUwvTkTWyF+LOdGU
Vk9+iTHiLWfWsjOJAjijuYCbL8czGi3zXc7vG9yfJCYgnprAG4ObIwNQP9f0Ez8Y
wBjbTcF3qtrOXldEtrblMuYHYzl7T4tr9cR93IzXWMA5QBg8sR59i7Ncei5UFLnq
EN52ckrNAJlBNGWG16vx3ybDyRAVHxHQIJ5GCxK3sVJMR3d8d88xvsHrz8aVZo41
rw9IDzeNgBnIABqEpYL8ex/UCp0gx2LdzDbgxZ0mukyHvSu0Gx/pnw7pUwpIeCQY
iJd/V8aMXxIzZSr0wlXF/XfN01o4EDVVw8ons5HGf/t0O67yGubeStys+yu+YDo2
kbBbNGLUokfdq09CCI2E+QyBn/y3E7Ea7pzLjmA0TlOj/R6O4j+jTYm9Jq+p4y4n
9vkY6k2PDH6q37sqzkfDFzBxy3tVwfs/Dc44dxW2NMbdRHopJUy36N0wiskQryFk
bbqt2A4SlbD76RmwcI99pZqJ2BbP9qwerwMhSLNwVDGPE+1lyMMZwzuEf9Cy4Nce
VW8uypNlR+D8KU1B9Zg2Owxhho90UH9RtZtnx5UZ2uUeeRIz6zcQbSuYgehgQ8zF
RxetIQc5twM2D38lbr4JuSv2FvyAtrg9iyyqf7FgfjmVCz14Q7g=
=hf7F
-----END PGP SIGNATURE-----