-----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-maintain...@lists.alioth.debian.org> Changed-By: Thomas Krennwallner <tk...@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----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1xtykn-0007u9...@franck.debian.org