Back to clasp PTS page

Accepted clasp 3.3.2-4 (source amd64) into unstable



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

Format: 1.8
Date: Sat, 04 Nov 2017 10:45:45 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.3.2-4
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-4) unstable; urgency=medium
 .
   * debian/control fixes, add Build-Depends on recent g++-7
     + bump Standards-Version to 4.1.1
     + Build-Depends on g++-7 >= 7.2.0-3 for fixed #871514
     + fix priority-extra-is-replaced-by-priority-optional
     + fix unnecessary-testsuite-autopkgtest-header
   * debian/rules: force build with g++-7
   * add clasp-remove-wrong-assertion.patch from upstream commit 02c6d85
Checksums-Sha1:
 4a26ab2ebd269998e0893375824bcb358576deaf 2050 clasp_3.3.2-4.dsc
 bedc4161b9a50eec20050fdd59b167be26c87562 8340 clasp_3.3.2-4.debian.tar.xz
 51a49f2f6920c05dbeb39d421738d9055d1c4680 5272616 clasp-dbgsym_3.3.2-4_amd64.deb
 262773c2c2784d86a178b90f80e9c3472089bf1e 7114 clasp_3.3.2-4_amd64.buildinfo
 233ab2a9ce5a97c128658622b7d4af4fa26196ef 638388 clasp_3.3.2-4_amd64.deb
Checksums-Sha256:
 554872d2fa230376bf77cf34e8493a1111b573efa39c4fc3ab96c539bf39535f 2050 clasp_3.3.2-4.dsc
 cb2be24cc7a1e1664ab9e4b99119d59aee89cf13b5cd9ecf4a70fefcf5107e78 8340 clasp_3.3.2-4.debian.tar.xz
 f226d9a851bf006d68dcd525dce09200d37adfa21cb3ab70c5af84d089a75607 5272616 clasp-dbgsym_3.3.2-4_amd64.deb
 f3275bde43da6fd35cc07f20fa5cf43c6dd5b15aa179848bc765fc2d3cdee015 7114 clasp_3.3.2-4_amd64.buildinfo
 983a923b69f9e658999761e71cf0518911a8a50acf6c33093273e9a268168943 638388 clasp_3.3.2-4_amd64.deb
Files:
 39ae3187a30b4f096ef7930aeb160adb 2050 interpreters optional clasp_3.3.2-4.dsc
 4ff0dac7e88862f361c8a9c087d2b04d 8340 interpreters optional clasp_3.3.2-4.debian.tar.xz
 1fa0bcaf301a1e2a539d7881719e23bb 5272616 debug optional clasp-dbgsym_3.3.2-4_amd64.deb
 85962599d7a2d82ad8cb82b7731cd6e7 7114 interpreters optional clasp_3.3.2-4_amd64.buildinfo
 fbc57f59cbd5c1b9b3b9ed3a4005ff10 638388 interpreters optional clasp_3.3.2-4_amd64.deb

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln9jacACgkQJ5ffdKZm
mqkE+g/6A/5ZBn0/LWT8TKA92A6RkKZItFlnYA1EeH3vBfGCvxT8neQtP7N5OFRJ
oqHSvOKU7bkTomVKipK/28XUggiILo/qQl7MsiSDbIW9YCZ2dW6FF3cBf/s187uR
Pbx2jnVaWTWtjpajPGzXKQ8UU8cqQ4kQ4DLokzc9VbWrheMZv8fqRR3fqAe7Yak9
U6ufV4y1WISkxz0iW11jF0pTtG/9A2blY5fbisnf2YGqLzMUxRI9lYxTt1S1XD+L
NeYYNuRMWhTT2C17IGzMtDZI/s9VFu5QOaV2jSf5AFReXyD1J2wQ1BXCOHxxnjl1
QUWcBTGCRnPOq0wadeYRyrkmN5G4sD3vxMLdz8w/VWXDYdu+LsyQGI4fa4aVsMCr
e2bIGFRgoRGZs/iDsdFAXeXjHOVOFaTTKJJymQO39JShackxOlMvkqIGj4OmH1eY
4EYf+RJpZ7sf8i/uRuKQg4CyZ54EdwGPnCSMz8yWy5mEd32IT4aXJHvWldpbOpxK
02KCANlK1BLmdM4Qd3cKE5IfTYtX17KVDIPXk2P9ZQj9CFs+i3Lhn9T98iSIA/VA
YhHoWmdDRQI6yIuMEHXHy3vraKCPEaaG7CqFOEt/cbd7YBNuKsepSZl5Dy+b6Abn
1a5R68AgyMJ9mt8hrVk4tTY9GInPBuhcx6KlnJ0XXQct8gPmDDU=
=+pFu
-----END PGP SIGNATURE-----