[Aptitude-devel] Bug#847089: Bug#847089: aptitude: resolver mishandles OR'ed versioned Recommends

[Axel Beckert]

Control: tag -1 + confirmed

Hi Vincent,

thanks for this bug report.

Vincent Lefevre wrote:
> To satisfy an OR'ed versioned Recommends, the resolver should prefer
> a package upgrade over a new package installation (which may yield a
> conflict with the other choice), even though this is not the first
> choice.
[...]
> But if I type '+' over "main", I get:
> 
>   --\ utils          Various system utilities (5)
>     --\ main           The main Debian archive (5)
> iuA stardict-common  -165 kB   3.0.1-9.2                3.0.1-9.3
> iB  stardict-gtk     +31.7 kB  3.0.1-9.2+b2             3.0.1-9.3
> iuA stardict-plugin  +17.4 kB  3.0.1-9.2+b2             3.0.1-9.3
> iuA stardict-plugin- +3072 B   3.0.1-9.2+b2             3.0.1-9.3
> iuA stardict-plugin- -68.6 kB  3.0.1-9.2+b2             3.0.1-9.3
> 
> Here the package stardict-gtk is marked as broken, while it could be
> upgraded as shown above. In the details, I get:

I can reproduce this on Sid with even less effort:

Search for stardict-common, show its dependencies with "d", inside the
Recommends, explicitly mark stardict-gtk for installation.

Then go to the parent Recommends branch and mark the "Recommends" for
installation with "+", and voila: Two alternative and conflicting
packages are selected for installation despite one of them was already
selected.

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5
  `-    |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE