-----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-----
