diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-04-23 19:43:59 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-04-23 19:43:59 +0200 |
| commit | 37da4fbe1562583589eeddb4be8e11bece80fd35 (patch) | |
| tree | 4d8a454b27e62f9b8d7b0fe641a9f6aa6de2402c /gnu/packages/valgrind.scm | |
| parent | 73326e742d82b6706333885eca770f7518636b1f (diff) | |
| parent | e01bd1a67447c1f2a2b5b03e8ea8fbbccd2cd5bd (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/valgrind.scm')
| -rw-r--r-- | gnu/packages/valgrind.scm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnu/packages/valgrind.scm b/gnu/packages/valgrind.scm index 9952fa1647a..f1584c896af 100644 --- a/gnu/packages/valgrind.scm +++ b/gnu/packages/valgrind.scm @@ -79,3 +79,18 @@ tools. There are Valgrind tools that can automatically detect many memory management and threading bugs, and profile your programs in detail. You can also use Valgrind to build new tools.") (license gpl2+))) + +(define-public valgrind-3.15 + (package + (inherit valgrind) + (version "3.15.0") + (source (origin + (method url-fetch) + (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 + "1ccawxrni8brcvwhygy12iprkvz409hbr9xkk1bd03gnm2fplz21")) + (patches (search-patches "valgrind-enable-arm.patch")))))) |