Format: 1.8 Date: Tue, 17 Dec 2013 21:53:08 +0100 Source: aspcud Binary: aspcud Architecture: i386 Version: 2012.10.24-6 Distribution: trusty-proposed Urgency: medium Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Ralf Treinen 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: a8a4521d53f2aa69b84b886f61a75a977603476b 146870 aspcud_2012.10.24-6_i386.deb Checksums-Sha256: c35e385a1c29aee706ed71950d5ae270c548f904b178cd2d211990378c7ea977 146870 aspcud_2012.10.24-6_i386.deb Files: d376208c7c59834d53779bf6c8901a41 146870 admin extra aspcud_2012.10.24-6_i386.deb