mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-11-08 07:56:16 -05:00
gnu: popt: Reverse source mirror entries.
Commit 8f4cff0e21
accidentally caused rebuilds
because the expected file name changed.
* gnu/packages/popt.scm (popt)[source](uri): Add the Debian mirror last.
This commit is contained in:
parent
574a71a7a9
commit
98ca002aaf
1 changed files with 6 additions and 7 deletions
|
@ -62,13 +62,12 @@ (define-public popt
|
|||
(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"))))
|
||||
|
|
Loading…
Reference in a new issue