Accepted aspcud 1:1.8.0-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 26 Feb 2014 21:07:49 +0100
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 1:1.8.0-3
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
Changes:
aspcud (1:1.8.0-3) unstable; urgency=low
.
* migrate to clasp 3:
- bump version in build-dependency on clasp
- add patch clasp3 provided by upstream
* add version to build-dependency on re2c, according to INSTALL file
Checksums-Sha1:
e989445375771c92e6490c0b73b671e32a9d191a 1880 aspcud_1.8.0-3.dsc
8f44e94e20729d759c1ea09b45fa6be8582be28d 6340 aspcud_1.8.0-3.debian.tar.xz
db7a4b5d8afee88088cef3604e26860dabfb9de6 145498 aspcud_1.8.0-3_amd64.deb
Checksums-Sha256:
b8344771661dd1064a5f48a760c5b87a2a167277ee4d3efd4448c1482da87ffe 1880 aspcud_1.8.0-3.dsc
a2f8fa70964b268ded09f24068e3fbc7ee47720cd0b721d05b61031d842c9827 6340 aspcud_1.8.0-3.debian.tar.xz
4b50a6a5506e54db67dc4f7e3a9c20317eee5636c5d90eaa2746bac6a5601f4d 145498 aspcud_1.8.0-3_amd64.deb
Files:
29023b2d59f707693326d272613ff1c6 1880 admin extra aspcud_1.8.0-3.dsc
961fc6589558f399a6c6636858278819 6340 admin extra aspcud_1.8.0-3.debian.tar.xz
6a77d93fa4e2a8caa0bc3c6fb1be2e73 145498 admin extra aspcud_1.8.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJTDlbWAAoJEHRcR2bUys3/JjkP/1jxbQog/rXono4sEE7WtQNX
bFV7gR9iEL0binVgzvIXYAuLwwqxYoTwLkQADXFeOMhD9DsiP5WixZ2+KNwwTPKp
Lm18uPqWuPzQXaSIUdK+x5oyEUwXwuLrWNQoVqVrutnrFiEqhU70YyW/rHMhzaZx
zQOZssdkVhcr3nQ2StGKRtWUQaKbKno3/n7JfVKdOh8m7/xaQUACEzCKwYHvbQN4
xPYZgwyQtPEiWYj1S7H6JKAjbd9o4jJzRh01jLDb9ZF9fo27gnS/6U5JCJnoPmV/
NzXyyB+2WV/afraG5rBcyd++tw/483pgf+Wch89aw7hGcYaMbJTEpcGbCOJvFFf7
QQudmeRc1PahskTIHzCwTH21RVPsqCliMD2LUo3r9HPCYFbwFKh4mfM9z0bBn+ES
Gy2Ea5b634QJrZHXOjUvQw1GvJH1fEyoVf8/zLPDko+yLaFqmCyHXFFlaUuddXvb
MhDLJxWXvukWnWCR6v83hqgab6K05Coj1afxDmMz49oDMme9AiUtZRVqiLVTbEH/
nIFezB8J5S1ukGdQlHKpaoBYu1CNtHLdGBilloEdholKkOmcfGpfXhNGVbFHIaqP
yZFow7RaKZem4C4C8zukX0zP4nfmseeOvEQpzGV7HlpvWgaHgbb7fkXCMsBlNqrD
j3W3Ptd8tCQmciiDtNdt
=YhId
-----END PGP SIGNATURE-----