diff options
author | Colin Watson <cjwatson@ubuntu.com> | 2013-08-01 13:19:43 +0200 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2013-08-01 13:37:52 +0200 |
commit | 096bd9f59750f6bea754d3a05e240c9eea0f6b53 (patch) | |
tree | df89bbb78f0484983fd0d0020a6e551a64d1a3c8 /COPYING | |
parent | 55732492ddea83e7d97b2e0c3e6799948fc5f152 (diff) |
prefer native arch over higher priority for providers
The rational from the buglog:
> The problem here is that the Priority field in one of the Packages files
> is incorrect due to a mishap with reprepro configuration, […] the
> amd64 version is Priority: standard but the arm64 version is Priority:
> optional (and has a stray "optional: interpreters" field).
> […]
> However, Priority is a rather weak property of a package because it's
> typically applied via overrides, and it's easy for maintainers of
> third-party repositories to misconfigure them so that overrides aren't
> applied correctly. It shouldn't be ranked ahead of choosing packages
> from the native architecture. In this case, I have no user-mode
> emulation for arm64 set up, so choosing m4:arm64 simply won't work.
This effectly makes the priority the least interesting data point in
chosing a provider, which is in line with the other checks we have
already order above priority in the past and also has a certain appeal by
the soft irony it provides.
Closes: #718482
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions