gnu: gdb: Update to 8.0.1.

* gnu/packages/gdb.scm (gdb): Update to 8.0.1.
master
Ludovic Courtès 2017-09-11 11:57:51 +02:00
parent 4918e7fc22
commit 130c3bc894
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 2 additions and 2 deletions

View File

@ -37,14 +37,14 @@
(define-public gdb
(package
(name "gdb")
(version "8.0")
(version "8.0.1")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnu/gdb/gdb-"
version ".tar.xz"))
(sha256
(base32
"1vplyf8v70yn0rdqjx6awl9nmfbwaj5ynwwjxwa71rhp97z4z8pn"))))
"1qwmcbaxf0jc7yjl0fimgcfj2yqcrl6h7azgs1d838kbwf9mzg9x"))))
(build-system gnu-build-system)
(arguments
`(#:tests? #f ; FIXME "make check" fails on single-processor systems.