Format: 1.8 Date: Sat, 21 Jun 2014 11:00:37 +0200 Source: aspcud Binary: aspcud Architecture: i386 Version: 1:1.9.0-2 Distribution: utopic-proposed Urgency: medium Maintainer: Ubuntu/amd64 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: e12c2d7fa52281c602f46f6eb4aafbe3de590ec4 144644 aspcud_1.9.0-2_i386.deb Checksums-Sha256: 678c121c46214e5a5f361affd360c278d20702c435ad71b9fa1ebac447f935b5 144644 aspcud_1.9.0-2_i386.deb Files: b28f7c3c66f201eed8c1d7c8aa3f7b13 144644 admin extra aspcud_1.9.0-2_i386.deb