summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-01-13 17:56:21 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-01-14 23:50:23 +0100
commit8f4cff0e21e4142d5f51022ef1efad569c3ca0bc (patch)
treee0061e01861773f22126474a465a034ac3e39cb8
parent0aaab7f8577dffebb05a3b013dca863aff1f9576 (diff)
downloadpatches-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.scm9
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"))))