-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Nov 2017 09:11:47 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-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.3-1) unstable; urgency=medium . * New upstream version 3.3.3 * debian/watch: download from /releases/download/vN.N.N * drop upstream applied clasp-remove-wrong-assertion.patch Checksums-Sha1: a3aca30568c335759a140d55171e87f596159f0e 2050 clasp_3.3.3-1.dsc 590e2692b45c4e63423328a7e8092a6ce66b8b87 821639 clasp_3.3.3.orig.tar.gz 68a3e5a5b4dfc8446b5a0d0271a19f4d0bfd7d4b 7656 clasp_3.3.3-1.debian.tar.xz 03dfdc19e2d3f2d2155f0c45d7f2111cbdf3cc59 7115 clasp_3.3.3-1_amd64.buildinfo Checksums-Sha256: 297b061a6e5cee92871b4fae7e26097a82f233056b7cee56056b709c43460234 2050 clasp_3.3.3-1.dsc 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3 821639 clasp_3.3.3.orig.tar.gz b9fb8caf4e7c387ec462b8d34d8e73932ac0cbf3a472a6983229d28bcb99373f 7656 clasp_3.3.3-1.debian.tar.xz 5279dfa4b749114c4426d5ffda4522105e5c94a000279ef00e4fe44cf909f226 7115 clasp_3.3.3-1_amd64.buildinfo Files: 2222d8b47387105f6d348474c9a2023a 2050 interpreters optional clasp_3.3.3-1.dsc e5753cdf8067d22f63575df45536c3a3 821639 interpreters optional clasp_3.3.3.orig.tar.gz 8caf43c61386e4988bdaaee53695ee6c 7656 interpreters optional clasp_3.3.3-1.debian.tar.xz 0256a61342ccddf751ea7e40ece7ea36 7115 interpreters optional clasp_3.3.3-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAloIBtoACgkQJ5ffdKZm mqmXvQ/+OYc6IHy5gv4mddDCDURaS3jXzqM6XbC42FTqnhkaKzcH+eUCR/N4fEO9 U9fkwxx03VdPsa8/fZ1jO9hjfnO1B/0bvwDZrrBzuJ2Wx3eMAPJs1EXRfsPpwzgZ NWWCs45jCUKhL6aA4s8jacTOaM+oCfJR/2bc8CifniQ+j3JVXf4IyyaiUBnkRW95 urPAo/yydkIgWeWWaiR8DIvub7yVsty9pN+EnB6U+/fo8qYc8wrU2Q540BQpRFpI Rc6QI7T5NynZvvMhbKhh4N8mSZSmZ/T9k33mXBFDDEllLKvoA6gG4bFG//yO2PGq iiruXA2QuF32ik7nrESdhV7EJ9EffGXLlDKBCf0VzstLxfz8CCVGfYG5oxGREvOc 9DRCefOKZc1orrAe2NS7582aNvJOMK9WPy4RZW1MbGGC+9NHMiWl4lEL4dqXL0c2 YOJvGUicaidOmK72rQtNvluKIPxyZpZ8wg5Xfeh2euzpX2jnX+yrNzpe/H5gH0Oz toFY+xEgUa3K+OLxSu+P7Hd2OPYjvNOFpn5L6Ojq6z1Z5EWcLHV3ZDBOO5hqq2RG wMETxybuloJ9sX9840nW6StvujZjmtFPywInkNsqO5ruipqfgxO/evir87yuOejq KvAckzQp3OSZM4SMZ6sbWR6MO+Zajwit6hCsYVZsYPSrNHvOjD4= =XlfE -----END PGP SIGNATURE-----