diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2016-10-09 06:47:59 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2016-10-09 06:47:59 +0300 |
commit | caaa715d161f98cb8a52b517a72a0783c2848056 (patch) | |
tree | 683af99dcb8f4f7a050da9fd395c66f4b94e710e /gnu/packages | |
parent | 80bc37737c36b8b09db6fb85963c577ca2ac1c42 (diff) |
gnu: gdb: Update to 7.12.
* gnu/packages/gdb.scm (gdb): Update to 7.12.
[home-page]: Use https.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/gdb.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/gdb.scm b/gnu/packages/gdb.scm index 80d53935e2..c6cc623f6c 100644 --- a/gnu/packages/gdb.scm +++ b/gnu/packages/gdb.scm @@ -37,14 +37,14 @@ (define-public gdb (package (name "gdb") - (version "7.11.1") + (version "7.12") (source (origin (method url-fetch) (uri (string-append "mirror://gnu/gdb/gdb-" version ".tar.xz")) (sha256 (base32 - "0w7wi1llznlqdqk2lmzygz2xylb2c9mh580s9i0rypkmwfj6s8g9")))) + "152g2qa8337cxif3lkvabjcxfd9jphfb2mza8f1p2c4bjk2z6kw3")))) (build-system gnu-build-system) (arguments `(#:tests? #f ; FIXME "make check" fails on single-processor systems. @@ -95,7 +95,7 @@ (native-inputs `(("texinfo" ,texinfo) ("pkg-config" ,pkg-config))) - (home-page "http://www.gnu.org/software/gdb/") + (home-page "https://www.gnu.org/software/gdb/") (synopsis "The GNU debugger") (description "GDB is the GNU debugger. With it, you can monitor what a program is |