[Aptitude-devel] Bug#867006: Bug#866974: Patch fixing 'Assertion "resman->resolver_exists()" failed.'

[Ahzo]

Hi Axel,

thanks for your quick and positive reply.

Indeed, for some reason the upgrade works in the TUI.
To reproduce the assertion failure in the TUI one can try to install test-b after having installed test-a version 2.
That corresponds to the last four steps:
# # Reproduce problem with TUI:
# apt full-upgrade
# sed -i 's/repo2/repo1/' /etc/apt/sources.list
# apt update
# aptitude    # select 'test-b' for installation, press g
Uncaught exception: ../../src/ui.cc:1549: void auto_fix_broken(): Assertion "resman->resolver_exists()" failed.

The equivalent CLI operation looks like:
# aptitude install test-b
The following NEW packages will be installed:
  test-b
0 packages upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/2164 B of archives. After unpacking 9216 B will be used.
The following packages have unmet dependencies:
test-a : Breaks: test-provide (< 2) which is a virtual package, provided by:
                  - test-b (1), but 1 is to be installed

*** ERROR: search aborted by fatal exception.  You may continue
           searching, but some solutions will be unreachable.

I want to resolve dependencies, but no dependency resolver was created.The following NEW packages will be installed:
  test-b
0 packages upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/2164 B of archives. After unpacking 9216 B will be used.
aptitude failed to find a solution to these dependencies.  You can solve them yourself by hand or type 'n' to quit.
The following packages have unmet dependencies:
test-a : Breaks: test-provide (< 2) which is a virtual package, provided by:
                  - test-b (1), but 1 is to be installed

Resolve these dependencies by hand? [N/+/-/_/:/?]

Regards,
Ahzo