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 <vinc...@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) _______________________________________________ Aptitude-devel mailing list Aptitude-devel@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/aptitude-devel