-
aspcud (1:1.8.0-2) unstable; urgency=low
* Fix package autotest (closes: #735138). Thanks to Matthias Klose and
Martin Pitt for their indications!
- add dependency of the test on aspcud
- send all output to stderr instead of /dev/null, allow test to
produce output on stderr
- fix location of input directory
- use /tmp for temporary files when TMPDIR not set
* Add dependency on python, needed by scripts/aspcud.sh
-- Ralf Treinen <email address hidden> Tue, 14 Jan 2014 10:51:17 +0100
-
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
-
aspcud (2012.10.24-6) unstable; urgency=medium
* Upload with urgency medium to migrate to testing before gringo 4
* Put version constraint (<< 4) on dependency on gringo, following info
received from upstream.
* Standards-Version 3.9.5 (no change).
* Add as-installed package test:
- add DEP-8 style debian/tests/control
- add debian/tests/upstream test script
-- Ralf Treinen <email address hidden> Tue, 17 Dec 2013 21:53:08 +0100
-
aspcud (2012.10.24-5) unstable; urgency=low
* debian/solvers/aspcud: quote arguments to allow for shell metacharacters
in arguments. Thanks to Pietro Abate for the hint.
-- Ralf Treinen <email address hidden> Wed, 09 Oct 2013 21:02:43 +0200
-
aspcud (2012.10.24-4) unstable; urgency=low
* add sed script /usr/share/aspcud/misc11-to-misc12 based on an idea by
Roberto Di Cosmo (thanks!)
* Patch misc11-backward-compatiblity: translate optimization criteria
in MISC11 style to MISC12.
-- Ralf Treinen <email address hidden> Sat, 29 Jun 2013 10:41:01 +0200