Format: 1.8
Date: Sat, 11 Jan 2014 09:13:51 +0100
Source: aspcud
Binary: aspcud
Architecture: amd64
Version: 1:1.8.0-1
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@lamiak.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 aspcud     - CUDF solver based on Answer Set Programming
Closes: 733494
Changes: 
 aspcud (1:1.8.0-1) unstable; urgency=low
 .
   * New upstream release. This version runs with gringo 4 (closes: #733494)
   * debian/control: add XS-Testsuite.
   * Adapt patches to new upstream: pathes, add-trendy-criterion.
   * bump dependency on gringo to >= 4
   * restrict dependency on clasp to << 3.
   * put test cases from version 2012.10.24 into debian/tests/cudf and
     modify debian/tests/upstream accordingly since this upstream release
     does not contain any test cases.
Checksums-Sha1: 
 bac275f20cbd6ad9a51e3a1a64c948cbac7b7380 145434 aspcud_1.8.0-1_amd64.deb
Checksums-Sha256: 
 f40e83ec35de076ec35ac0e540da48ed15146abafdc801e718ab797833e7ea99 145434 aspcud_1.8.0-1_amd64.deb
Files: 
 6538bbc8c7d040a3010cbf1e085197bd 145434 admin extra aspcud_1.8.0-1_amd64.deb