[Aptitude-devel] Bug#940819: aptitude: meaningless message "it is being removed because..." / issue with ORed dependency

[Vincent Lefevre]

Control: found -1 0.8.13-3

This time with:

--\ Packages being automatically installed to satisfy dependencies (1)
piA rlfe             +50.2 kB  <none>                   8.1-2
--\ Packages being removed because they are no longer used (2)
idA ledit            -313 kB   2.04-5                   2.04-5                  
idA libfindlib-ocaml -938 kB   1.8.1-2                  1.8.1-2                 

where for rlfe it is said:

rlfe (install, 8.1-2) will be automatically installed to satisfy the following ▒
dependencies:                                                                  ▒
                                                                               ▒
  * ocaml-interp (held/unchanged, 4.11.1-4) recommends ledit | readline-editor ▒
    (provided by ledit 2.04-5, rlfe 8.1-1, rlfe 8.1-2, rlwrap 0.43-1+b2)       ▒
  * coq (held/unchanged, 8.12.0-3+b3) suggests ledit | readline-editor         ▒
    (provided by ledit 2.04-5, rlfe 8.1-1, rlfe 8.1-2, rlwrap 0.43-1+b2)       ▒

and for ledit:

ledit (remove, 2.04-5) was installed automatically; it is being removed because▒
all of the packages which depend upon it are being removed:                    ▒

without any package listed.

BTW, I don't know why aptitude wants to switch to the second ORed
choice.

-- 
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)