# HG changeset patch
# User John D
# Date 1486296744 18000
# Node ID 8bf7d78a7746d1af40db679b27559c092aebea21
# Parent  a3a8ba2c39bd9fda5812d7d7c8f083f917b2d4da
gdb: update to 7.12.1

* src/gdb.mk: update version, checksum

diff -r a3a8ba2c39bd -r 8bf7d78a7746 src/gdb.mk
--- a/src/gdb.mk	Sun Feb 05 07:12:23 2017 -0500
+++ b/src/gdb.mk	Sun Feb 05 07:12:24 2017 -0500
@@ -2,8 +2,8 @@
 # See index.html for further information.
 
 PKG             := gdb
-$(PKG)_VERSION  := 7.12
-$(PKG)_CHECKSUM := 1a6a0f2fe04d6ac9ba85048af35610e0fc217300
+$(PKG)_VERSION  := 7.12.1
+$(PKG)_CHECKSUM := ef77c5345d6f9fdcdf7a5d8503301242b701936e
 $(PKG)_SUBDIR   := gdb-$($(PKG)_VERSION)
 $(PKG)_FILE     := gdb-$($(PKG)_VERSION).tar.xz
 $(PKG)_URL      := ftp://ftp.gnu.org/pub/gnu/$(PKG)/$($(PKG)_FILE)