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