-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 17 Dec 2013 21:53:08 +0100
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 2012.10.24-6
Distribution: unstable
Urgency: medium
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
aspcud - CUDF solver based on Answer Set Programming
Changes:
aspcud (2012.10.24-6) unstable; urgency=medium
.
* Upload with urgency medium to migrate to testing before gringo 4
* Put version constraint (<< 4) on dependency on gringo, following info
received from upstream.
* Standards-Version 3.9.5 (no change).
* Add as-installed package test:
- add DEP-8 style debian/tests/control
- add debian/tests/upstream test script
Checksums-Sha1:
f50d6ffbebb2b40e2e4879dd14a56b32d92ed524 1900 aspcud_2012.10.24-6.dsc
afbf7fb5abe80dc35b51be746c23a6ebcd976b4d 5666 aspcud_2012.10.24-6.debian.tar.gz
8701672c5110e0e144e4dd58060bf32f1085f62f 146288 aspcud_2012.10.24-6_amd64.deb
Checksums-Sha256:
512a28a53f71ac8f1458c6a50ea4051c44df0583d878d1932fca32c0ed37fc4d 1900 aspcud_2012.10.24-6.dsc
30bcef618c85cd73270193248c603c7197ee765875223e7644244f7012808ccd 5666 aspcud_2012.10.24-6.debian.tar.gz
6f7224c1063f342c0880c2e87a53d5d91c8dae8ebb45602fed653bb70162e723 146288 aspcud_2012.10.24-6_amd64.deb
Files:
9b2a700bd7ee657af7bf56b0df3d76e0 1900 admin extra aspcud_2012.10.24-6.dsc
d8593e85091093424e043aefc2a105c9 5666 admin extra aspcud_2012.10.24-6.debian.tar.gz
d2d7bed496323cc86637830dbc2861a2 146288 admin extra aspcud_2012.10.24-6_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJSsLuMAAoJEHRcR2bUys3/hj0QALBkehlxOrjNPn+Q0yscqefE
W5OaTZfS4JdJY4W7UkxWUzISqffv7Ojsctkk09smWAN6oDjNcQecWZyMJRbBCMp4
E+/BT+kOmem3tSmzFasQChpt0sQAEYLy/nv+tcCLvf/zK5D+hX4yD32h58c3fhjG
NroPIXBdj0MxqTsVK7JIndElOPnfFefB19Mxs4yyesbaHMY0RzL1nK/R1kX19O8h
u2hZG2QbbqZc5/kXMbcLNfClpg6Pk4gHDVqLhasjFiQhti2dGLKAMbPD8SW4SHpW
2Jm5CH/NtRfmLOno2spqyZWjYpouZpBiL4t1xsfn8omJpBpDgZeE0MR5+BJYd4ZG
iFROBx8+J9OjfAANFB9h6P4xdE68bN9ObJG/E9zpkvIy9Fa01WrpIrM2v+fNvm7v
E3MrrCl1HzNwOK7R4jGtoZChMMe0rZnlpE46e4nWE8gXWUsKhGP3mZt5/jub6Uu6
2ZPDM/HafxgOnK9DGUDZziAP+p29e+LokgK5iOEesihtcuR70yM+3P93L52xMd8C
uHFS12hzl8c1WRqwzfNxlO5JuioAzV7qR2gaHNY5Ktx4+Otma8QXs1+VtmUsHs5m
5O1x/l8z8rOJlSKIDDaaKlHtr703fqdvaJA34bo2uQM+nuoKEwkTB7JUcboLw2ST
gj5zmliwsdZYu3DMxVrH
=HWXb
-----END PGP SIGNATURE-----
