gnu: gdb: Update to 7.12.1.

* gnu/packages/gdb.scm (gdb): Update to 7.12.1.
master
Ludovic Courtès 2017-01-31 23:44:57 +01:00
parent 5f8edd7f37
commit c886608e6b
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 "7.12")
(version "7.12.1")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnu/gdb/gdb-"
version ".tar.xz"))
(sha256
(base32
"152g2qa8337cxif3lkvabjcxfd9jphfb2mza8f1p2c4bjk2z6kw3"))))
"11ii260h1sd7v0bs3cz6d5l8gqxxgldry0md60ncjgixjw5nh1s6"))))
(build-system gnu-build-system)
(arguments
`(#:tests? #f ; FIXME "make check" fails on single-processor systems.