> I expect the safe resolver to be more conservative than the full resolver.
Depends on how you evaluate conservativeness. It is more conservative in that it will not remove packages. There is no guarantee that any solution found by the safe resolver will be more compact than what the full resolver could achieve, quite the opposite in fact, because the full resolver is unrestricted in the actions it can take. > I > expect it to avoid installing and removing packages in an upgrade. The safe resolver only guarantees to not remove packages. There is no reason to expect it to avoid installing packages. The man page clearly states that this is typical behaviour: safe-upgrade … Packages which are not currently installed may be installed to resolve dependencies unless the --no-new-installs command-line option is supplied. > I expect > to be able to use the safe resolver without having to check if each package > is actually needed. I expect the safe resolver to parse the "or" symbol (|). You have not provided enough information to demonstrate that these expectations are not met. See my previous response. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/923525 Title: aptitude safe-upgrade attempts to install both "or" (|) dependencies To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/aptitude/+bug/923525/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs