diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:00:37 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:00:37 +0200 |
| commit | 9fb02ab02528ea45747318af26fae8a732cd2840 (patch) | |
| tree | 34e39ba7a3016542ea0684482f453712b242c3db /debian/source | |
| parent | ebda4f51f6707e5a6550f92d9407eab855039060 (diff) | |
pkgPolicy: Introduce storage and helpers for per-version pins
Per-version pins should lead to more predictable results with
/etc/apt/preferences uses like pinning one version with -1.
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions