[Aptitude-devel] Bug#890469: Bug#890469: aptitude: sometimes fails to resolve dependencies in a good way with '+' in the UI

[Vincent Lefevre]

On 2018-02-15 01:48:46 +0100, Axel Beckert wrote:
> Vincent Lefevre wrote:
> >   --\ Recommends (1)
> >     --- stardict-gnome (>= 3.0.1-9.4) | stardict-gtk (>= 3.0.1-9.4)
[...]
> > This choice is surprising.
> 
> Not really. At that moment neither of the two alternative versioned
> dependencies are fulfilled, hence it tries to fulfill the first
> alternative dependency. The remainder seems to be a "local optimum"
> issue it doesn't find to escape itself in time. It probably will find
> the right solution later if you continue to request alternative
> dependency solutions with ".".

IMHO, when there is a OR'ed dependency, aptitude should first
consider already installed packages and see if an upgrade of
such a package would resolve the dependency, as this is what
the user would probably prefer. I also suppose that this is
what the user would obtain with full-upgrade.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)