Publishing details

• Published on 2015-10-22
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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)

 -- Ralf Treinen <email address hidden>  Wed, 17 Jun 2015 20:27:04 +0200

Builds

• s390x

Built packages

• aspcud CUDF solver based on Answer Set Programming

• aspcud-dbgsym debug symbols for package aspcud

Package files

• aspcud-dbgsym_1.9.1-2_amd64.ddeb (1.2 MiB)
• aspcud-dbgsym_1.9.1-2_arm64.ddeb (1.2 MiB)
• aspcud-dbgsym_1.9.1-2_armhf.ddeb (1.2 MiB)
• aspcud-dbgsym_1.9.1-2_i386.ddeb (1.2 MiB)
• aspcud-dbgsym_1.9.1-2_powerpc.ddeb (1.1 MiB)
• aspcud-dbgsym_1.9.1-2_ppc64el.ddeb (1.2 MiB)
• aspcud-dbgsym_1.9.1-2_s390x.ddeb (1.1 MiB)
• aspcud_1.9.1-2.debian.tar.xz (5.6 KiB)
• aspcud_1.9.1-2.dsc (1.8 KiB)
• aspcud_1.9.1-2_amd64.deb (142.9 KiB)
• aspcud_1.9.1-2_arm64.deb (134.2 KiB)
• aspcud_1.9.1-2_armhf.deb (125.9 KiB)
• aspcud_1.9.1-2_i386.deb (146.5 KiB)
• aspcud_1.9.1-2_powerpc.deb (137.8 KiB)
• aspcud_1.9.1-2_ppc64el.deb (141.2 KiB)
• aspcud_1.9.1-2_s390x.deb (134.3 KiB)
• aspcud_1.9.1.orig.tar.gz (66.7 MiB)