diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-21 22:39:42 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-21 22:39:42 +0100 |
| commit | 8ed9be3faccb865204de46d2a8ed3e96e59281b6 (patch) | |
| tree | 77ba4c90cda569048bc9ce2e414ede1567130c88 /gnu/packages/popt.scm | |
| parent | 36930b2463fc933e7c5580f49413dbd14cf1df48 (diff) | |
| parent | 715110a8a2e9e4b1a89635950744eb5260b8ee7f (diff) | |
| download | patches-8ed9be3faccb865204de46d2a8ed3e96e59281b6.tar patches-8ed9be3faccb865204de46d2a8ed3e96e59281b6.tar.gz | |
Merge branch 'staging' into core-updates
Diffstat (limited to 'gnu/packages/popt.scm')
| -rw-r--r-- | gnu/packages/popt.scm | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm index 6346c54f22..2e77368d20 100644 --- a/gnu/packages/popt.scm +++ b/gnu/packages/popt.scm @@ -62,13 +62,14 @@ line syntax.") (version "1.16") (source (origin (method url-fetch) - ;; The rpm5.org domain does not resolve since 2019-06-13, so we - ;; borrow Debians infrastructure for the source download. - (uri (list (string-append "https://deb.debian.org/debian/pool/main" - "/p/popt/popt_" version ".orig.tar.gz") - ;; Keep the old URL around in case it reappears. - (string-append "http://rpm5.org/files/popt/popt-" - version ".tar.gz"))) + (uri (list (string-append "http://rpm5.org/files/popt/popt-" + version ".tar.gz") + ;; The rpm5.org domain does not resolve since 2019-06-13, + ;; so fallback to Debians copy. + (string-append "https://deb.debian.org/debian/pool/main" + "/p/popt/popt_" version ".orig.tar.gz"))) + ;; Ensure the file name stays the same. + (file-name (string-append "popt-" version ".tar.gz")) (sha256 (base32 "1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77")))) |