Back to clasp PTS page

Accepted clasp 3.3.3-1 (source) into unstable



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