me
/
guix
Archived
1
0
Fork 0
Code

gnu: popt: Update source URI. 

* gnu/packages/popt.scm (popt)[source](uri): Add Debian mirror.
master
Marius Bakke 2020-01-13 17:56:21 +01:00
parent 0aaab7f857
commit 8f4cff0e21
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gnu/packages/popt.scm
View File

@ -62,8 +62,13 @@ line syntax.")
(version "1.16") (version "1.16")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://rpm5.org/files/popt/popt-" ;; The rpm5.org domain does not resolve since 2019-06-13, so we
version ".tar.gz")) ;; 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")))
(sha256 (sha256
(base32 (base32
"1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77")))) "1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77"))))