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 <mba...@fastmail.com> 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"))))