diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index 0a08162874..19dc8215f3 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -7,11 +7,11 @@ include $(TOPDIR)/rules.mk PKG_NAME:=gmp -PKG_VERSION:=6.1.1 +PKG_VERSION:=6.1.2 PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz PKG_SOURCE_URL:=@GNU/gmp/ -PKG_HASH:=d36e9c05df488ad630fff17edb50051d6432357f9ce04e34a09b3d818825e831 +PKG_HASH:=87b565e89a9a684fe4ebeeddb8399dce2599f9c9049854ca8c0dfbdea0e21912 HOST_FIXUP:=autoreconf |