Accepted aspcud 1:1.8.0-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 14 Jan 2014 10:51:17 +0100
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 1:1.8.0-2
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: 735138
Changes:
aspcud (1:1.8.0-2) unstable; urgency=low
.
* Fix package autotest (closes: #735138). Thanks to Matthias Klose and
Martin Pitt for their indications!
- add dependency of the test on aspcud
- send all output to stderr instead of /dev/null, allow test to
produce output on stderr
- fix location of input directory
- use /tmp for temporary files when TMPDIR not set
* Add dependency on python, needed by scripts/aspcud.sh
Checksums-Sha1:
4c33925499b2986ee303511bb607239af36346ba 1887 aspcud_1.8.0-2.dsc
765c9095a2684e85ded7cf1d8ec568bb40df7c8b 6383 aspcud_1.8.0-2.debian.tar.gz
3bf14b411ece1f5964ac3af2059d3e17ebb28957 145514 aspcud_1.8.0-2_amd64.deb
Checksums-Sha256:
b30fca3335964e7b8ab4e91a3edd76ff673c57e47216f2872ee4a4ef7309da9b 1887 aspcud_1.8.0-2.dsc
399e9c337a48e80e50a49e395499d096e7a89add2ae70d798673151e29d19cd1 6383 aspcud_1.8.0-2.debian.tar.gz
565fdbf307153dcc6e42eea0760b96904b2d833dbc1951c938b0cfb2459ab2b5 145514 aspcud_1.8.0-2_amd64.deb
Files:
666d9643ee9260b58ec4478d88488a4f 1887 admin extra aspcud_1.8.0-2.dsc
d8f5840d4c92e86381f7a37de42b1c40 6383 admin extra aspcud_1.8.0-2.debian.tar.gz
7f8e51ebe2a6af2fb518fad161fae526 145514 admin extra aspcud_1.8.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJS1ufsAAoJEHRcR2bUys3/o9AQAKOL6KA/7PBWdbD2bKf6LztD
+KVTogQ8BT5w8kLiGUtj8EKrxEgPIgFz7VUrmlTIRulenLp8BKeODla19ONF+ocq
V4fnrYkkCckS5jMexk4qpYqABp4v2xUOaPBpmSCC5sLcrKms9cWx0BEw6n1zHFVx
IRmVvWo52ynxG4rm5i/Jbssu8Uf3mKLvV9A6re0jKui3lODtAGrIwGK2AgOvKi7j
ybRKqfgwKGIyiXrWkkT6j1wA17PDwa6C+hyKaPo799/s/znNdArQkro3A1lKXp49
FDwDBOVRyI+TfeD4lEgE72puf5+3mFqDUw3BvAakBCRvecAcRXVqmZGacH53YGXZ
vbGemx63Nq4kXwZoaGYhH3FoxBHmDUratTxbSLHSr2raPjUVm6/IBOT5Xw5ubpQv
LfdPa/NxNuebYIsT5hA4SDQLLrGtey37e++6w3+exc0rv3zbc9rrU31kzmXodJx1
TAmtHINQVrRLFlf/rY3tfrgk78WAD6cw47UdbosGAifrhB0CSV70pI5CFhdzBmqS
4YC/FhSaj1utEWC3+FrC/6C7cZooSj2eAb3NKaKGrSjQE8JbJpUENX8zVbHES20g
oXI0rcN/5LUbXne7CZJEzyYb5NsZre4WSy/rcng/msVYHIZG1jU4I2WsfV2kPkof
2BVOdYQKz0ZRzMYRFlFx
=jbmq
-----END PGP SIGNATURE-----