diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-10 12:20:51 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 12:28:23 +0200 |
| commit | a91aae406112df1d8fe16d00212333a20210f674 (patch) | |
| tree | c97c4546f40bf6f04be2d23cbad1ba15a63db90d /vendor/debian | |
| parent | 5f9386e54360c403772e2a876d48d31dde9d5097 (diff) | |
Determine the candidate based on per-version pins, instead of old code
The new implementation assigns each version a pin, instead of assigning
the pin to a package. This enables us to give each version of a package
a different priority.
Closes: #770017
Closes: #622237
Closes: #620249
Closes: #685215
Diffstat (limited to 'vendor/debian')
0 files changed, 0 insertions, 0 deletions