diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-13 17:56:21 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-14 23:50:23 +0100 |
| commit | 8f4cff0e21e4142d5f51022ef1efad569c3ca0bc (patch) | |
| tree | e0061e01861773f22126474a465a034ac3e39cb8 | |
| parent | 0aaab7f8577dffebb05a3b013dca863aff1f9576 (diff) | |
| download | patches-8f4cff0e21e4142d5f51022ef1efad569c3ca0bc.tar patches-8f4cff0e21e4142d5f51022ef1efad569c3ca0bc.tar.gz | |
gnu: popt: Update source URI.
* gnu/packages/popt.scm (popt)[source](uri): Add Debian mirror.
| -rw-r--r-- | gnu/packages/popt.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm index 7f6a2e8e6a..6346c54f22 100644 --- a/gnu/packages/popt.scm +++ b/gnu/packages/popt.scm @@ -62,8 +62,13 @@ line syntax.") (version "1.16") (source (origin (method url-fetch) - (uri (string-append "http://rpm5.org/files/popt/popt-" - version ".tar.gz")) + ;; 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"))) (sha256 (base32 "1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77")))) |