Format: 1.8 Date: Tue, 17 Dec 2013 21:53:08 +0100 Source: aspcud Binary: aspcud Architecture: amd64 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: 6ddc0bd3e6ddf7b4f108b80a9a8359344f5353ff 146440 aspcud_2012.10.24-6_amd64.deb Checksums-Sha256: b08a412d92b83f48280f89bce061712eb6ced20ee169dc48a301cc4c8b5d3e94 146440 aspcud_2012.10.24-6_amd64.deb Files: 2214c349bbe047d9f7780362c7b24f22 146440 admin extra aspcud_2012.10.24-6_amd64.deb