diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-09-22 12:27:41 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-09-22 16:14:39 +0200 |
commit | 5871639bb1544171310fa5c4da7196eeea2c8089 (patch) | |
tree | f6453037bda50ba634eed7e374fcf12a76e9c9f9 /ROADMAP | |
parent | 09289d0d2ba4610b18dd32c9e6984f62ee547951 (diff) | |
download | guix-5871639bb1544171310fa5c4da7196eeea2c8089.tar.gz guix-5871639bb1544171310fa5c4da7196eeea2c8089.zip |
download: Fall back to web.archive.org as a very last resort.
Suggested by Florian Pelz <pelzflorian@pelzflorian.de>.
* guix/build/download.scm (internet-archive-uri): New procedure.
(url-fetch): Append it to the list of URIs after
CONTENT-ADDRESSED-URIS.
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions