01/01: gnu: gdb: Update to 7.12.

[Efraim Flashner]

efraim pushed a commit to branch master
in repository guix.

commit caaa715d161f98cb8a52b517a72a0783c2848056
Author: Efraim Flashner <address@hidden>
Date:   Sun Oct 9 06:47:59 2016 +0300

    gnu: gdb: Update to 7.12.
    
    * gnu/packages/gdb.scm (gdb): Update to 7.12.
    [home-page]: Use https.
---
 gnu/packages/gdb.scm |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/gdb.scm b/gnu/packages/gdb.scm
index 80d5393..c6cc623 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