-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 18 Aug 2014 13:00:07 +0200 Source: clasp Binary: clasp Architecture: source amd64 Version: 3.1.0-1 Distribution: unstable Urgency: low 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.0-1) unstable; urgency=low . * New upstream release. * debian/control: Remove Suggests on potassco-guide * Setup git repository to use git-buildpackage. * Import upstream sources with git-import-orig --pristine-tar --uscan. Checksums-Sha1: 3fb38fc0d79c2a8447ab3f2fdebdf70c1951188b 1994 clasp_3.1.0-1.dsc 57297b641d6900a639e09c2a1c73549707f337b7 515019 clasp_3.1.0.orig.tar.gz fa269463a15401cab596b51b6754368d3aa5fa7c 6352 clasp_3.1.0-1.debian.tar.xz 67dc9c90afd2d012f934914ce129d276c74be525 458420 clasp_3.1.0-1_amd64.deb Checksums-Sha256: 91164ef08e21d94db701add690c833fc1da5b9f38dd4090bccd5d6a0000e7ccf 1994 clasp_3.1.0-1.dsc 7715980aa808a5edac1d8d8a61ff2f2bb595d97e237beb687f1a62a13c531bdc 515019 clasp_3.1.0.orig.tar.gz c9b9e30d5f8b80bbb7ba8a03a4ef3369eb3968d999941ca06382a11f5c497efa 6352 clasp_3.1.0-1.debian.tar.xz 8505d73421b816de23408ac14507d8da24fd949932ad57e69031bbff4dca19f1 458420 clasp_3.1.0-1_amd64.deb Files: 92e6518edc182a7b040ec985f06b1aec 458420 interpreters extra clasp_3.1.0-1_amd64.deb 7393d9f8ea18737286057e4c308d161c 1994 interpreters extra clasp_3.1.0-1.dsc 9077facdfdd558a9ac9fad0fcd42088c 515019 interpreters extra clasp_3.1.0.orig.tar.gz 6c59d85110d6b0257ed5e191117fc02a 6352 interpreters extra clasp_3.1.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJT8gKMAAoJECeX33SmZpqp9S8P/0fH8enpR+Uio8hZDyB1sJg6 CnYW4AWuFLkdH11QPo71Kxet9pTPQGDqO2TJgouHSDu/J+LVpOCBE63HyNUCspAp ocVCdcMADnlqj5a/3WMuXvRgjJhO4FOv/UmqUhEf+MTQS6ZF8S8hq9wcSB4zigln cBaorblni7JJ/PK5XAUjcgqSrVglWsMkcGKNJ3b8HIUoqgbX9zavFzfP2PJE36bG CSbLEaMbBL9F+/dUN+8Xrt313WmryqDSJaPuFttD6TuNrItCWtkE822WQS6FBkUf TaN2HHp/7/bzzBUJzphtvNgbMi0wGlCJDOJ6CLWtlt4xcgdgWVSUkAEA+MuicX0+ MfcwlhkrH+RWWOfMZCspNwjTzOkf6S5EBYSgunnHQP4YiLYQJjpgZpKFvYTrFX3X M4cnB42o2z4Q8rHcNMeWqAldz8+AFLGYFSSR3PoQFuF6EPmXG4SiZxJZExva+GgY xq46IP6jb1YphVVD0CJF2LF6xcmy7DA4GpAuDIh7cFRkWMg2Ew6t0kLiZfn7kUW7 GOWxwNXoZRaXpYvQw/w3DezoN0Y+qwXVDzRflBOp5ZIJRurj2Lgtte9ndhwOMRYr GRUEj2Ua7mZf+OvUxzIgo1F6J19GD5O0ica9AJxp9ne0CijN6C6JEiGENkNpm9i9 ThCMiWG3c0XOdC/vOeKx =P2fb -----END PGP SIGNATURE-----