01/09: gnu: popt: Update source URI.

[guix-commits]

mbakke pushed a commit to branch master
in repository guix.

commit 8f4cff0e21e4142d5f51022ef1efad569c3ca0bc
Author: Marius Bakke <address@hidden>
AuthorDate: Mon Jan 13 17:56:21 2020 +0100

    gnu: popt: Update source URI.
    
    * gnu/packages/popt.scm (popt)[source](uri): Add Debian mirror.
---
 gnu/packages/popt.scm | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm
index 7f6a2e8..6346c54 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"))))