diff options
| author | jnqnfe <jnqnfe@gmail.com> | 2014-12-02 01:48:28 +0000 |
|---|---|---|
| committer | Luca Boccassi <bluca@debian.org> | 2020-03-11 11:45:27 +0000 |
| commit | 87e9543c98a5b8d22fe1659b73f2927bdf6e895f (patch) | |
| tree | 1e54b3b78081dc7e0b7e68923ad694b31690267a /scripts/build/binary_grub-efi | |
| parent | f1647f0dac0022fdb92c5f4b315626d1049a0aec (diff) | |
| download | vyos-live-build-87e9543c98a5b8d22fe1659b73f2927bdf6e895f.tar.gz vyos-live-build-87e9543c98a5b8d22fe1659b73f2927bdf6e895f.zip | |
source: target downloads with corresponding version
Prefer downloading the version of the source package that actually
corresponds to the version of the binary. Should apt-update be
run and a package updated, we do not really want to fetch a newer
copy of the source than that of the binary, we want the exact
corresponding version (kinda the whole point of compiling a source
disc that they correspond). If the exact version is no longer
available then it is surely preferable to list it in the missing
list than end up with a newer version.
Gbp-Dch: Short
Closes: #952932
Diffstat (limited to 'scripts/build/binary_grub-efi')
0 files changed, 0 insertions, 0 deletions