Format: 1.8
Date: Wed, 17 Jun 2015 20:27:04 +0200
Source: aspcud
Binary: aspcud
Architecture: arm64
Version: 1:1.9.1-2
Distribution: wily-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 aspcud     - CUDF solver based on Answer Set Programming
Closes: 780899
Changes:
 aspcud (1:1.9.1-2) unstable; urgency=low
 .
   * Patch check-criteria: check whether field names used in optimisation
     criteria are default fields, or declared in the preamble of the cudf
     document. Thanks to Roland Kaminski for the patch! (closes: #780899)
Checksums-Sha1:
 4925dcb9781f6cee12675b7fc394b3ca082f4155 137434 aspcud_1.9.1-2_arm64.deb
 000ed876d43ccfe241463fcdf402a2893a0dc026 1242584 aspcud-dbgsym_1.9.1-2_arm64.ddeb
Checksums-Sha256:
 e36826175445aabecb708d4a63fd6c7e64f633f8df273d77af5558df1a088504 137434 aspcud_1.9.1-2_arm64.deb
 60ed38683749fc3f5496e06b3188c4c3a92d4d3d7f46fbf91d388decad2836a4 1242584 aspcud-dbgsym_1.9.1-2_arm64.ddeb
Files:
 fcb4f6b793f9ab07ab0a3574f536f728 137434 admin extra aspcud_1.9.1-2_arm64.deb
 af90e7b123beb71586ed802328595f45 1242584 admin extra aspcud-dbgsym_1.9.1-2_arm64.ddeb