Accepted clasp 3.1.1-1 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 26 Nov 2014 08:44:17 +0100
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.1-1
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.1.1-1) unstable; urgency=medium
.
* New upstream release.
* Bump Standards-Version to 3.9.6.
Checksums-Sha1:
d8291eb15c369a31444c3c2ff22149985b6a9ca5 1994 clasp_3.1.1-1.dsc
01a35f05fb4c138bb0bfd8759f36b2eebafa7069 516159 clasp_3.1.1.orig.tar.gz
7405b8e873ec115244a5f9a68ec8b60ad5c90291 6376 clasp_3.1.1-1.debian.tar.xz
0eb149f981cb984e126eeebff7441c32f7282b96 460436 clasp_3.1.1-1_amd64.deb
Checksums-Sha256:
4b5987f993a905db8849d6e38f33130a284b3b55ddf29069efd061e472b5d6e8 1994 clasp_3.1.1-1.dsc
c209bf8961b99d02d88ed3c9de4570f4bb9bde5f238663be5ce432abab2ac989 516159 clasp_3.1.1.orig.tar.gz
97ec6862fdb1f49b05bf1cb5b3f11df20223c97599e433b1ca8c489e033c9705 6376 clasp_3.1.1-1.debian.tar.xz
3447043306f786f9caa59aa45d36ea4897f67e7abaf225320c376200304c6a3a 460436 clasp_3.1.1-1_amd64.deb
Files:
19ef08c04b37e995add1a00731d3e8af 1994 interpreters extra clasp_3.1.1-1.dsc
9e07e4d54c1a183a859e9512f7e3a8c1 516159 interpreters extra clasp_3.1.1.orig.tar.gz
e4d1c9179b930280ef9c2c2e6c5bc000 6376 interpreters extra clasp_3.1.1-1.debian.tar.xz
cc847540e98931d0e64a81103accda96 460436 interpreters extra clasp_3.1.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJUdYb8AAoJECeX33SmZpqpPLMP/036dqXbGi7YDpHufMWgMm0D
T7boBa8ZREp+H69A4+ERBomY43TO2/pYh6J4Qdf3KwMw7nHs+stGwU+Cs8QLwMLD
R1ARZVUoIWllzThTtubYCW3kJRVZqc1nYHsxznrc8fdL7cZMrGZZKtN+7lNB3M0Y
BAWZ3wJI81u4ws1padU2rctwy/Ec9kNUTxgu1W5Ez2CDpH30WoPQVlgecVKsMPup
DWPr3wgCHrfqdkvaPgXYNEvfC4QK9TvMOlK7a1e+BOZu+vLeuQxdLZdsItjxkfbT
zjNjxf8NFBmFL/QeIXMJT73YGGZEh3pf0n15sfPXhFIrCgpICUCUB/8TLrfVqv0S
aRnuRDDCIJanhYsv33fMNOVPMZTjFvuQhM2kDGTTk3gBC0TU7DIpveMBoivYi/lB
5DFHcweEILQgODvGCRqSJSkeE3dUq3iLjRTU9NppZIBch98vX2sBRqYDUfbXWarX
LzPlnlvx7lRLYtyL/twvnRRQlwHArlc11qQIM8zam+UlVUxo48gSUDm/w9EdT+1a
131+RpibUziqxbDu1QSQ3rbl8r1RS99K2skvm6gJi0BLixQdK0miSaod5shefKE9
ORykf/LZY2t5EgJoEkuD5sbSDmAlw59RpN78On7KaGqP3AORTysPlOoPi+59pGGi
8DBW8Y5+1izd8EtI4gDa
=pISq
-----END PGP SIGNATURE-----