diff options
author | David Kalnischkies <david@kalnischkies.de> | 2020-05-16 11:17:21 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2020-05-18 15:55:36 +0200 |
commit | 57df27397b1a10e50d5876482a30b9dedb2ad219 (patch) | |
tree | 2a28c6898e1de093414a30e7a4fa94e7fa08f14c /apt-pkg/acquire-worker.h | |
parent | 55d4d1b51c0d2b78b76f2b233714ed3914b695cf (diff) |
Propagate protected to already satisfied conflicts
If we propagate protected e.g. due to a user request we should also act
upon (at the moment) satisfied negative dependencies so that the
resolver knows that installing this package later is not an option.
That the problem resolver is trying bad solutions is a bug by
itself which existed before and after and should be worked on.
Closes: #960705
Diffstat (limited to 'apt-pkg/acquire-worker.h')
0 files changed, 0 insertions, 0 deletions