summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2019-03-06 15:42:50 +0100
committerMarius Bakke <mbakke@fastmail.com>2019-03-06 16:30:48 +0100
commita9eeda20b4eb782941350a99e0331d33c5ad4d28 (patch)
treedc8b54caa08b281c9546f5f251a758318058a784 /gnu
parent38502a7d132d55c8410eb6d7ca72b37e214e58a6 (diff)
gnu: valgrind: Add download mirror.
* gnu/packages/valgrind.scm (valgrind)[source](uri): Add mirror.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/valgrind.scm16
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"))