Format: 1.8 Date: Sat, 21 Jun 2014 11:00:37 +0200 Source: aspcud Binary: aspcud Architecture: armhf Version: 1:1.9.0-2 Distribution: utopic-proposed Urgency: medium Maintainer: Ubuntu/armhf Build Daemon Changed-By: Ralf Treinen Description: aspcud - CUDF solver based on Answer Set Programming Changes: aspcud (1:1.9.0-2) unstable; urgency=medium . * add debian/watch Checksums-Sha1: 2327ccb301d0ae5ffa2f2d53395eb5964dacd184 131614 aspcud_1.9.0-2_armhf.deb Checksums-Sha256: 66986d181acc1ddd9d25cf30fb1a47d7c72479d90f334a5b2cf99484f949eff9 131614 aspcud_1.9.0-2_armhf.deb Files: fc74abbfb7088e84714611a4dc402b7e 131614 admin extra aspcud_1.9.0-2_armhf.deb