-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 11 Jan 2014 09:13:51 +0100 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.8.0-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: aspcud - CUDF solver based on Answer Set Programming Closes: 733494 Changes: aspcud (1:1.8.0-1) unstable; urgency=low . * New upstream release. This version runs with gringo 4 (closes: #733494) * debian/control: add XS-Testsuite. * Adapt patches to new upstream: pathes, add-trendy-criterion. * bump dependency on gringo to >= 4 * restrict dependency on clasp to << 3. * put test cases from version 2012.10.24 into debian/tests/cudf and modify debian/tests/upstream accordingly since this upstream release does not contain any test cases. Checksums-Sha1: 14fc1323a5b9dcc8a6ccd020caf6e63b19604a17 1887 aspcud_1.8.0-1.dsc 8e05dca2bcf3a388a985317b71f2fcd5586351f7 96121 aspcud_1.8.0.orig.tar.gz 927613756402b36f50fa9327cf8b248bac3c8deb 6215 aspcud_1.8.0-1.debian.tar.gz b7d97e0bf754be26c2aa08eafda9a587d1f6761b 145304 aspcud_1.8.0-1_amd64.deb Checksums-Sha256: 0726c7e1f26ef12c2fa6c2ce9ccec01c9fc8de552c83538d3599762947dce558 1887 aspcud_1.8.0-1.dsc 491c42a8e769c6d244f106021df4c61344b53c5e133837b0589b4d384bf9d17b 96121 aspcud_1.8.0.orig.tar.gz 098b2e98d31672e1e0fd8732e519a97f807d69e0c2e7bc8d7f82fe174c737fb6 6215 aspcud_1.8.0-1.debian.tar.gz 6bfe511da612cc547878dab42ed0c905b001974e126536428799db8ddfd0322a 145304 aspcud_1.8.0-1_amd64.deb Files: 88b37c45ccd41d2fca33a42ccd77afff 1887 admin extra aspcud_1.8.0-1.dsc 010170681147006214cb777d76a5fc68 96121 admin extra aspcud_1.8.0.orig.tar.gz ebf8e57e0a4c831a76ab5a440507eeb9 6215 admin extra aspcud_1.8.0-1.debian.tar.gz 9f324bf1a23523de00dc9cc60e790a96 145304 admin extra aspcud_1.8.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCAAGBQJS0QKYAAoJEHRcR2bUys3/XdIQAI0O9N0WwAqpr+uC33aW+pWy +WtUH8pvLNUAJZ/8Hy9pMfd9hETmZj71kLcGMvatfR95/18NtdQlwFkmRq2sdiwj 2cCqR6nWXsRVO3vXi4R5STOzEP+grzSmUMrIIJwDlM73NXmAAK2eDEZZrwH1oRry nKm7WVN1oN3In3g9vHIyWN1nvq67fKQhaCsYr8+u5iM7ap1n5VJu2thKjID+vm39 7YIjGhcH2FxG/9WSOquSu0e4psKdyabEkZ5X4KMsDHiF6xJEkohxCT6aHyflCULF Ep8Dplk/twiRnnkeHGIK7eR/jNmuIGCcMkeC5ci1xs8znHZRBasVchJp5y9r1iB+ s505+SnZH1PGZbq+Qzq2QIQCXQwGGUZDIBuIbnUJyFMy3QBIalBzRGZgidXhrxnh ONIOPzTR5lmm0V1wXrwPzEaIfQ1oHoxCRCiawGPz+EKeXQ2sVFX6YnNYVYDO1gA+ SmCKTP2tAl9tUAYRmgrkBLZDsceeLxIQ4efyIk3+uOskuJnDMrEseRXuv9ng6LGu 4Ot66zgULPASaucUappOfXwLZGdA2Q6CYC92nX/n3ymrWGRthgLIMOKSemOWqZ6z hoOjnydYD5ViolM21vonMRUf+dpO+fzZETjBCG4fQnVcdLrNK46DDIEmId65O+rk +JVeZzdghjkooNQQ2+z9 =tZoM -----END PGP SIGNATURE-----
