-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 05 Oct 2015 07:43:55 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Closes: 800526 Changes: clasp (3.1.3-2) unstable; urgency=medium . * Circumvent g++-5 loop code generation bug. * Bug fix: "aspcud fails to find solution if optimization criteria are passed for some problems", thanks to Johannes Schauer (Closes: #800526). Checksums-Sha1: a6406c506f2138487e1b602e81cf5c4645f47965 2016 clasp_3.1.3-2.dsc 63a8305e8a5dbbfc09ecef5c2bfcea5e3be8e326 7108 clasp_3.1.3-2.debian.tar.xz 30f93b0156bd46c891390d542e77959af4083d3b 465674 clasp_3.1.3-2_amd64.deb Checksums-Sha256: 5a84f9177d90ce3fd318cacdf6a21113a966a27c129e804385984551371b7794 2016 clasp_3.1.3-2.dsc e1030f3111d2c940da65048340850b53472e0de7107e48ee75988c0f5ed7d696 7108 clasp_3.1.3-2.debian.tar.xz 57c4cc45070a8ded09ca96fb4014735de6316984026347e4a37a89b49b39c3a2 465674 clasp_3.1.3-2_amd64.deb Files: 33f7489a5d4a0640157c9f5eaeb7139c 2016 interpreters extra clasp_3.1.3-2.dsc e9579a9fba5a386779a30223d276662d 7108 interpreters extra clasp_3.1.3-2.debian.tar.xz 9cdd410c665df7a98554d7a514dc0453 465674 interpreters extra clasp_3.1.3-2_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWEg+JAAoJECeX33SmZpqpILwP/0Zq7RGo9Yz2qBT2xG49dc2s qA77cl8KAzCbdd9fRVRmvvDLVVX0VyAFLiryce/gMNHpoMoPJ8r13+lf4W6LMv6y pq9fb/aY18ojAzqdWCAwsZRG/DONFs5UQlrXCS8ZjliIMf1hlL7erwMAFC0amqvf CaXLEAfEIg0TaErCiDTvYbJd8ASeEiFMzrVl0GmjA04GpNd2aW8LU81HYlUNXIL9 Z9SnxqCFn2A/9wdgV1CMDOeOUDBRDa2a6koUTA5S6xNkx7MPgvfxsYnzcZspiry1 twZPYs0d7Qrri9xWq6TphRaex+UtFd6wg0DEDWWaOZ8IyT5jq7zeHrCLreM4lHKR c86RhNhN21rHJWhS6I9lxSEDXs9/YpGfsa9iWktBTwD9GTsf5ctLZvnagEuM53m5 /xWhlYrf07aqtDUHQBnWZupeNxk+Pn1s6IMiePY7nhfAkiUsXqQ95X5sO7wey3Zo sy/XhoHcp79VXRvSS0Ogj1tyTGmlz+TLIvcuNcG3TrX4M94brF2MH7ReMJw9ZSBp VZdHlyRD2TwexkSOFNXcO+Gr2ZHJnlcZeZuUOwOxqCW6ipHS50fpXQypbAf81JPq RQ+NRfAtoK8NMhEQee1QBFPPDBDORKs6zQ51R1l7NOlVPtIIdGkK/0rd0hABwi0k La+tFMAKq5+kOVbuo45Z =pojU -----END PGP SIGNATURE-----