Accepted clasp 3.1.3-2 (source amd64) into unstable
-----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-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@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-----
Reply to: