diff options
| author | Marius Bakke <marius@gnu.org> | 2020-06-14 16:24:34 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-06-14 16:24:34 +0200 |
| commit | 4193095e18b602705df94e38a8d60ef1fe380e49 (patch) | |
| tree | 2500f31bcfae9b4cb5a23d633395f6892a7bd8a7 /gnu/packages/popt.scm | |
| parent | a48a3f0640d76cb5e5945557c9aae6dabce39d93 (diff) | |
| parent | e88745a655b220b4047f7db5175c828ef9c33e11 (diff) | |
| download | guix-4193095e18b602705df94e38a8d60ef1fe380e49.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/popt.scm')
| -rw-r--r-- | gnu/packages/popt.scm | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm index 2e77368d20..95a9ea9211 100644 --- a/gnu/packages/popt.scm +++ b/gnu/packages/popt.scm @@ -62,13 +62,11 @@ line syntax.") (version "1.16") (source (origin (method url-fetch) - (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"))) - ;; Ensure the file name stays the same. + ;; The original rpm5.org domain is not accessible since + ;; 2019-06-13, so use Debians copy of the tarball. + (uri (string-append "https://deb.debian.org/debian/pool/main" + "/p/popt/popt_" version ".orig.tar.gz")) + ;; Ensure the file name stays the same to prevent rebuilds. (file-name (string-append "popt-" version ".tar.gz")) (sha256 (base32 |