mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 05:48:07 -05:00
gnu: popt: Remove defunct mirror.
* gnu/packages/popt.scm (popt)[source](uri): Remove the canonical rpm5.org URI.
This commit is contained in:
parent
0c82f6ad0e
commit
91c8b23e57
1 changed files with 5 additions and 7 deletions
|
@ -62,13 +62,11 @@ (define-public popt
|
||||||
(version "1.16")
|
(version "1.16")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
(uri (list (string-append "http://rpm5.org/files/popt/popt-"
|
;; The original rpm5.org domain is not accessible since
|
||||||
version ".tar.gz")
|
;; 2019-06-13, so use Debians copy of the tarball.
|
||||||
;; The rpm5.org domain does not resolve since 2019-06-13,
|
(uri (string-append "https://deb.debian.org/debian/pool/main"
|
||||||
;; so fallback to Debians copy.
|
"/p/popt/popt_" version ".orig.tar.gz"))
|
||||||
(string-append "https://deb.debian.org/debian/pool/main"
|
;; Ensure the file name stays the same to prevent rebuilds.
|
||||||
"/p/popt/popt_" version ".orig.tar.gz")))
|
|
||||||
;; Ensure the file name stays the same.
|
|
||||||
(file-name (string-append "popt-" version ".tar.gz"))
|
(file-name (string-append "popt-" version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
|
|
Loading…
Reference in a new issue