On 02/21/2014 07:29 AM, Thomas Krennwallner wrote:
On Thu Feb 20, 2014 05:14:53PM +0100, Julian Andres Klode wrote:
Package: clasp
Version: 3.0.0-1
Severity: normal
clasp 2.1.4-1 can solve the attached problems, and clasp 3.0.0
cannot. Both times using --opt-heuristic=3. I previously also
used --opt-hierarch=3, but that's not available anymore. So
I only used --opt-heuristic=3 for both tests.
These are real world problems, namely 3 steps of upgrading a
Debian sid installation from 2014-02-02 to 2014-02-20. The
transformation of package dependencies is sub-optimal, as
it contains unneeded packages, but clasp 2 was fine solving
it, so 3.0 should handle it as well.
I've forwarded your bug report to the clasp and aspcud upstream
maintainers (in CC).
Best,
This is a bug in the PB front-end of clasp-3.0.0.
It will be fixed in the next release.
Regards,
Ben
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
