[Aptitude-devel] Bug#872253: aptitude: un-rejecting a no-more-solutions resolver choice keeps "Next" unavailable

[Yann Dirson]

Package: aptitude
Version: 0.8.8-1
Severity: normal

(state bundle available on request, too big to attach anyway)

>From this situation, first mark texlive-htmlxml for downgrade to stable,
then enter resolver, and refuse all choices from first 2 screens to get
to the third one, which proposes to remove 17 packages and downgrade 12
to stable.  The goal is to downgrade to stable rather than removing.

sequence 1:
* refuse all removal choices but texlive-plain-generic which did not
  exist in stable
* next state proposes only the removal of that new package, and
  downgrade of all others - cool this is what I wanted

Note we can also do things incrementally by marking one package at a
time for removal: this all work until I get to refuse removal of
texlive-plain-generic (obviously, first time you get here it was not
obvious you could not refuse it)

sequence 2:
* refuse just texlive-plain-generic: you get the "no more solutions"
  dialog, so revert this choice (either with undo or hitting "r" again)
* now refuse any other, that are known to be refusable one by one:
  the "Next" choice is greyed out in the bottom-line command summary,
  and "." just does nothing.  Have to kill aptitude to try again.



-- Package-specific info:
Terminal: screen
$DISPLAY is set.
which aptitude: /usr/bin/aptitude

aptitude version information:
aptitude 0.8.8
Compiler: g++ 6.3.0 20170516
Compiled against:
  apt version 5.0.1
  NCurses version 6.0
  libsigc++ version: 2.10.0
  Gtk+ support disabled.
  Qt support disabled.

Current library versions:
  NCurses version: ncurses 6.0.20161126
  cwidget version: 0.5.17
  Apt version: 5.0.2

aptitude linkage:
	linux-vdso.so.1 (0x00007ffd58e98000)
	libapt-pkg.so.5.0 => /usr/lib/x86_64-linux-gnu/libapt-pkg.so.5.0 (0x00007f2ef5d50000)
	libncursesw.so.5 => /lib/x86_64-linux-gnu/libncursesw.so.5 (0x00007f2ef5b20000)
	libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f2ef58f6000)
	libsigc-2.0.so.0 => /usr/lib/x86_64-linux-gnu/libsigc-2.0.so.0 (0x00007f2ef56ef000)
	libcwidget.so.3 => /usr/lib/x86_64-linux-gnu/libcwidget.so.3 (0x00007f2ef53f4000)
	libsqlite3.so.0 => /usr/lib/x86_64-linux-gnu/libsqlite3.so.0 (0x00007f2ef50e7000)
	libboost_iostreams.so.1.62.0 => /usr/lib/x86_64-linux-gnu/libboost_iostreams.so.1.62.0 (0x00007f2ef4ecf000)
	libboost_filesystem.so.1.62.0 => /usr/lib/x86_64-linux-gnu/libboost_filesystem.so.1.62.0 (0x00007f2ef4cb6000)
	libboost_system.so.1.62.0 => /usr/lib/x86_64-linux-gnu/libboost_system.so.1.62.0 (0x00007f2ef4ab2000)
	libxapian.so.30 => /usr/lib/x86_64-linux-gnu/libxapian.so.30 (0x00007f2ef469e000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f2ef4481000)
	libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f2ef40fe000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f2ef3dfa000)
	libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f2ef3be3000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f2ef3844000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f2ef3640000)
	libresolv.so.2 => /lib/x86_64-linux-gnu/libresolv.so.2 (0x00007f2ef3429000)
	libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f2ef320d000)
	libbz2.so.1.0 => /lib/x86_64-linux-gnu/libbz2.so.1.0 (0x00007f2ef2ffd000)
	liblzma.so.5 => /lib/x86_64-linux-gnu/liblzma.so.5 (0x00007f2ef2dd7000)
	liblz4.so.1 => /usr/lib/x86_64-linux-gnu/liblz4.so.1 (0x00007f2ef2bc5000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f2ef29bd000)
	libuuid.so.1 => /lib/x86_64-linux-gnu/libuuid.so.1 (0x00007f2ef27b6000)
	/lib64/ld-linux-x86-64.so.2 (0x00005648c6d2c000)

-- System Information:
Debian Release: buster/sid
  APT prefers stable
  APT policy: (990, 'stable'), (900, 'testing'), (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'unstable'), (500, 'oldstable'), (101, 'experimental'), (1, 'experimental-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=C (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Init: systemd (via /run/systemd/system)

Versions of packages aptitude depends on:
ii  aptitude-common            0.8.8-1
ii  libapt-pkg5.0              1.5~beta1
ii  libboost-filesystem1.62.0  1.62.0+dfsg-4+b1
ii  libboost-iostreams1.62.0   1.62.0+dfsg-4+b1
ii  libboost-system1.62.0      1.62.0+dfsg-4+b1
ii  libc6                      2.24-12
ii  libcwidget3v5              0.5.17-6
ii  libgcc1                    1:7.1.0-10
ii  libncursesw5               6.0+20161126-1
ii  libsigc++-2.0-0v5          2.10.0-1
ii  libsqlite3-0               3.19.3-3
ii  libstdc++6                 7.1.0-10
ii  libtinfo5                  6.0+20161126-1
ii  libxapian30                1.4.4-2

Versions of packages aptitude recommends:
ii  libparse-debianchangelog-perl  1.2.0-12
ii  sensible-utils                 0.0.9

Versions of packages aptitude suggests:
ii  apt-xapian-index                0.49
pn  aptitude-doc-en | aptitude-doc  <none>
ii  debtags                         2.1.2
ii  tasksel                         3.39

-- no debconf information