Ubuntu
aspcud package

aspcud 1:1.8.0-1 source package in Ubuntu

Changelog

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.

 -- Ralf Treinen <email address hidden>  Sat, 11 Jan 2014 09:13:51 +0100

Upload details

Uploaded by:
Ralf Treinen
Uploaded to:
Sid
Original maintainer:
Ralf Treinen
Architectures:
any
Section:
admin
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
aspcud_1.8.0-1.dsc 1.8 KiB 0726c7e1f26ef12c2fa6c2ce9ccec01c9fc8de552c83538d3599762947dce558
aspcud_1.8.0.orig.tar.gz 93.9 KiB 491c42a8e769c6d244f106021df4c61344b53c5e133837b0589b4d384bf9d17b
aspcud_1.8.0-1.debian.tar.gz 6.1 KiB 098b2e98d31672e1e0fd8732e519a97f807d69e0c2e7bc8d7f82fe174c737fb6

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.