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 | 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 |
Available diffs
- diff from 2012.10.24-5 to 1:1.8.0-1 (13.7 KiB)
- diff from 2012.10.24-6 to 1:1.8.0-1 (13.3 KiB)
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.