diff options
author | David Kalnischkies <david@kalnischkies.de> | 2020-06-13 11:36:41 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2020-06-14 10:19:39 +0200 |
commit | 71d753b5e450a99f7f6677fe4899515aaec7e585 (patch) | |
tree | 58ba6e850b646360619c952339a5c6decdc5c08b /test/integration/test-apt-config | |
parent | 5c19fb4e50ca2a179087ff7aafb85da2c6b0625e (diff) |
Do not sent our filename-provides trick to EDSP solvers
If package is installed via an explicitly given deb file we store the
filename as a provides, so that the frontend can request the filename
and get the usual "Selected foo instead of foo.deb" message.
We do not need to trouble the EDSP solvers with that though as these
provides are not valid in various ways and we have already solved the
link between commandline and package (and version) for them.
Closes: #962741
Diffstat (limited to 'test/integration/test-apt-config')
0 files changed, 0 insertions, 0 deletions