Accepted aspcud 1:1.8.0-1 (source amd64)
-----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-----