Format: 1.8 Date: Wed, 26 Feb 2014 21:07:49 +0100 Source: aspcud Binary: aspcud Architecture: i386 Version: 1:1.8.0-3 Distribution: utopic-proposed Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Ralf Treinen Description: aspcud - CUDF solver based on Answer Set Programming Changes: aspcud (1:1.8.0-3) unstable; urgency=low . * migrate to clasp 3: - bump version in build-dependency on clasp - add patch clasp3 provided by upstream * add version to build-dependency on re2c, according to INSTALL file Checksums-Sha1: ce5383b4c73460ddca844c41b70eaffdcfcaba95 146750 aspcud_1.8.0-3_i386.deb Checksums-Sha256: 3878e7f562d095e9c3739c1842535138d86bc1b9caca7f4729b492a473ef8299 146750 aspcud_1.8.0-3_i386.deb Files: 10fdb567f70e8a5914ad7a14f1e415a9 146750 admin extra aspcud_1.8.0-3_i386.deb