gnu: Valgrind: Remove version 3.14.0.

* gnu/packages/valgrind.scm (valgrind): Update to 3.15.0.
(valgrind-3.15): Remove variable.
This commit is contained in:
Marius Bakke 2019-05-05 15:00:54 +02:00
parent 8d1644a1f5
commit dc80b28d4b
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 2 additions and 17 deletions

View File

@ -32,7 +32,7 @@
(define-public valgrind (define-public valgrind
(package (package
(name "valgrind") (name "valgrind")
(version "3.14.0") (version "3.15.0")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (list (string-append "http://www.valgrind.org/downloads" (uri (list (string-append "http://www.valgrind.org/downloads"
@ -41,7 +41,7 @@
"/valgrind-" version ".tar.bz2"))) "/valgrind-" version ".tar.bz2")))
(sha256 (sha256
(base32 (base32
"19ds42jwd89zrsjb94g7gizkkzipn8xik3xykrpcqxylxyzi2z03")) "1ccawxrni8brcvwhygy12iprkvz409hbr9xkk1bd03gnm2fplz21"))
(patches (search-patches "valgrind-enable-arm.patch")))) (patches (search-patches "valgrind-enable-arm.patch"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(outputs '("doc" ;16 MB (outputs '("doc" ;16 MB
@ -79,18 +79,3 @@ tools. There are Valgrind tools that can automatically detect many memory
management and threading bugs, and profile your programs in detail. You can management and threading bugs, and profile your programs in detail. You can
also use Valgrind to build new tools.") also use Valgrind to build new tools.")
(license gpl2+))) (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"))))))