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