branch master updated: gnu: popt: Remove defunct mirror.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

mbakke pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 91c8b23  gnu: popt: Remove defunct mirror.
91c8b23 is described below

commit 91c8b23e571b90e2d263194c9fbb2b05c0475dc1
Author: Marius Bakke <marius@gnu.org>
AuthorDate: Fri May 29 23:02:59 2020 +0200

    gnu: popt: Remove defunct mirror.
    
    * gnu/packages/popt.scm (popt)[source](uri): Remove the canonical rpm5.org 
URI.
---
 gnu/packages/popt.scm | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm
index 2e77368..95a9ea9 100644
--- a/gnu/packages/popt.scm
+++ b/gnu/packages/popt.scm
@@ -62,13 +62,11 @@ line syntax.")
     (version "1.16")
     (source (origin
              (method url-fetch)
-             (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.
+             ;; The original rpm5.org domain is not accessible since
+             ;; 2019-06-13, so use Debians copy of the tarball.
+             (uri (string-append "https://deb.debian.org/debian/pool/main";
+                                 "/p/popt/popt_" version ".orig.tar.gz"))
+             ;; Ensure the file name stays the same to prevent rebuilds.
              (file-name (string-append "popt-" version ".tar.gz"))
              (sha256
               (base32