[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/05: gnu: gdb: Update to 7.12.1.
|
From: |
Ludovic Courtès |
|
Subject: |
01/05: gnu: gdb: Update to 7.12.1. |
|
Date: |
Tue, 31 Jan 2017 22:53:51 +0000 (UTC) |
civodul pushed a commit to branch master
in repository guix.
commit c886608e6ba46930564327cbc6f2ee3ae8943d37
Author: Ludovic Courtès <address@hidden>
Date: Tue Jan 31 23:44:57 2017 +0100
gnu: gdb: Update to 7.12.1.
* gnu/packages/gdb.scm (gdb): Update to 7.12.1.
---
gnu/packages/gdb.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/gdb.scm b/gnu/packages/gdb.scm
index c6cc623..ba1fd62 100644
--- a/gnu/packages/gdb.scm
+++ b/gnu/packages/gdb.scm
@@ -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.