guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch master updated: gnu: popt: Reverse source mirror entries.


From: guix-commits
Subject: branch master updated: gnu: popt: Reverse source mirror entries.
Date: Tue, 14 Jan 2020 19:13:43 -0500

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 98ca002  gnu: popt: Reverse source mirror entries.
98ca002 is described below

commit 98ca002aaf14b38ae3445e801d497177888f8438
Author: Marius Bakke <address@hidden>
AuthorDate: Wed Jan 15 01:13:18 2020 +0100

    gnu: popt: Reverse source mirror entries.
    
    Commit 8f4cff0e21e4142d5f51022ef1efad569c3ca0bc accidentally caused rebuilds
    because the expected file name changed.
    
    * gnu/packages/popt.scm (popt)[source](uri): Add the Debian mirror last.
---
 gnu/packages/popt.scm | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm
index 6346c54..857455d 100644
--- a/gnu/packages/popt.scm
+++ b/gnu/packages/popt.scm
@@ -62,13 +62,12 @@ 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")))
              (sha256
               (base32
                "1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77"))))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]