aspcud 1:1.9.1-2 source package in Ubuntu


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

Upload details

Uploaded by:
Ralf Treinen
Uploaded to:
Original maintainer:
Ralf Treinen
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release universe admin


File Size SHA-256 Checksum
aspcud_1.9.1-2.dsc 1.8 KiB 2dfc89f697f7b9ed5de39953691b19f0d8ae072a730a14abc1b96ff0494e80e9
aspcud_1.9.1.orig.tar.gz 66.7 MiB e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827
aspcud_1.9.1-2.debian.tar.xz 5.6 KiB 6bcd99b97a6a7a57f8d7eb4d11048abcd3a310e95cbf819c2d30bb31d29678de

Available diffs

No changes file available.

Binary packages built by this source

aspcud: CUDF solver based on Answer Set Programming

 Aspcud is an experimental solver for package dependencies. A package
 universe and a request to install, remove or upgrade packages have
 to be encoded in the CUDF format.

aspcud-dbgsym: No summary available for aspcud-dbgsym in ubuntu yakkety.

No description available for aspcud-dbgsym in ubuntu yakkety.