clasp_3.3.2-3_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

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

Format: 1.8
Date: Tue, 29 Aug 2017 07:21:44 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.3.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 clasp      - conflict-driven nogood learning answer set solver
Changes:
 clasp (3.3.2-3) unstable; urgency=medium
 .
   * Switch to g++-6 to work around mips64el FTBFS.
     - debian/rules: force CXX to g++-6
     - debian/control: Build-Depends on g++-6
Checksums-Sha1:
 48779b0e70a592e95abc7813d87f6a0117d9baf5 2045 clasp_3.3.2-3.dsc
 57604333aaa979ac3607de6f4bd4f09e8eb3526d 7408 clasp_3.3.2-3.debian.tar.xz
 1fb7f8ffb09952a943e69f7cdd63c87d34f7d8da 5272850 clasp-dbgsym_3.3.2-3_amd64.deb
 2f1df276a6e976205e99380d51b0218d20d15967 7153 clasp_3.3.2-3_amd64.buildinfo
 af6d858e23780d0b9136a5cd0e54ccdcca5ab7c9 635610 clasp_3.3.2-3_amd64.deb
Checksums-Sha256:
 971f85b313a69a76f583c24f55938f567d35572ae010ffda9cc3a0319b2aa836 2045 clasp_3.3.2-3.dsc
 35a06e7bc219c05708acbc3280599e5443a9d3aa963e47a2d356a6bc1cd0bb46 7408 clasp_3.3.2-3.debian.tar.xz
 b19eb3423f916f5aa2b223e8e0fd74c81d2edda5ca8992be818ac7ba693c5ce5 5272850 clasp-dbgsym_3.3.2-3_amd64.deb
 efe782753ae6b51325d1bd71ca356d38572bcb575b792bd6dfbe64e788f7f9a9 7153 clasp_3.3.2-3_amd64.buildinfo
 9aa1073c0fda6aa8a1545764821536934c398c5f92548404a9c7248debafed0a 635610 clasp_3.3.2-3_amd64.deb
Files:
 8b3011076cc3d1f59ec36bd6c43dbb82 2045 interpreters extra clasp_3.3.2-3.dsc
 eb288d6fbd2b10cd340275e86f2f0878 7408 interpreters extra clasp_3.3.2-3.debian.tar.xz
 9b1842210281164823ca885b55e9543c 5272850 debug extra clasp-dbgsym_3.3.2-3_amd64.deb
 9bf929fa71dec4658c5c6f56d7812328 7153 interpreters extra clasp_3.3.2-3_amd64.buildinfo
 316e9297067cc4b27bbb0eff4ec5e55d 635610 interpreters extra clasp_3.3.2-3_amd64.deb

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlmk+n8ACgkQJ5ffdKZm
mqmlyxAAi6GzN7T5L6Abrv+dx4KidsuFPJCEzhSlMT9Cl8YUrelIA8VhiKuxv99u
d7o4Dx/tDNVizahrGrl9FWS3dl0cCVQMvbGxSDBZOqQujWq4yUlzEEj3drJDS6wB
dsrYeF6w6vSokdqCwupX/ETqrkCMPbbLDd4OZA7KoveOzOpQaeNBYXewP5Mi//eW
14TMqCxpE/s/RJuNUXioMvGRqMvE1OzC7zSqlHJjU6tfpPAAYBLv6w90z3YMPPi/
tMdmi0U7r11WOKckGnrhW4oEQaX4acTZn9RfCtKIg5z7v/Pmxzhh6Ryc23NSSDFL
ePd7dXFMM8yB3sBOsUmt6VhUivm++gJ9g9TdD/nIS5fC5otPiXwfIz7mIz3Ti9qZ
r4M3O9ovAHvyqqeHTnSCZRKpuDke8ywxfOCGuq9KqAabAioYedwOvG0VjWIa1uEg
0ynGucAxMWrQ6GrKqUvKcDuXMrSw2P/rbamIDtY28F3Jvuq/WEfcvlTvWTVmWhWm
WNgN5GRPiFp6T16pvBb1rzGiMy685HXrDQPnin5exTlneYRjboketUdwbVC2phMq
FhZS0qiH3HPKHtimYoX4eway51fzKaM408CpJLZoqlgeSIwyqr6wCP6gn+PG7s5o
0HXvq0Ofzp3pocdg8VtBKe5bPzHFjWboJYyRLl/xS0FUfyU+aNE=
=TaHx
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.