diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-03-06 15:42:50 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-03-06 16:30:48 +0100 |
| commit | a9eeda20b4eb782941350a99e0331d33c5ad4d28 (patch) | |
| tree | dc8b54caa08b281c9546f5f251a758318058a784 /gnu | |
| parent | 38502a7d132d55c8410eb6d7ca72b37e214e58a6 (diff) | |
| download | patches-a9eeda20b4eb782941350a99e0331d33c5ad4d28.tar patches-a9eeda20b4eb782941350a99e0331d33c5ad4d28.tar.gz | |
gnu: valgrind: Add download mirror.
* gnu/packages/valgrind.scm (valgrind)[source](uri): Add mirror.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/valgrind.scm | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/gnu/packages/valgrind.scm b/gnu/packages/valgrind.scm index 6c06b24c1c..0a6206b3b1 100644 --- a/gnu/packages/valgrind.scm +++ b/gnu/packages/valgrind.scm @@ -35,13 +35,15 @@ (version "3.13.0") (source (origin (method url-fetch) - (uri (string-append "ftp://sourceware.org/pub/valgrind/valgrind-" - version ".tar.bz2")) - (sha256 - (base32 - "0fqc3684grrbxwsic1rc5ryxzxmigzjx9p5vf3lxa37h0gpq0rnp")) - (patches (search-patches "valgrind-enable-arm.patch" - "valgrind-glibc-compat.patch")))) + (uri (list (string-append "http://www.valgrind.org/downloads" + "/valgrind-" version ".tar.bz2") + (string-append "ftp://sourceware.org/pub/valgrind" + "/valgrind-" version ".tar.bz2"))) + (sha256 + (base32 + "0fqc3684grrbxwsic1rc5ryxzxmigzjx9p5vf3lxa37h0gpq0rnp")) + (patches (search-patches "valgrind-enable-arm.patch" + "valgrind-glibc-compat.patch")))) (build-system gnu-build-system) (outputs '("doc" ;16 MB "out")) |