From 8ed47707a4227b9e2cc85a6cfab2ef609c7c8d73 Mon Sep 17 00:00:00 2001
From: "David L. Dawes" <davidlymandawes@yahoo.com>
Date: Wed, 9 May 2018 16:03:36 -0700
Subject: [PATCH] Get a working URL for libgmp.

---
 depends/packages/libgmp.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/depends/packages/libgmp.mk b/depends/packages/libgmp.mk
index f06e4a6c4..c10cb36c9 100644
--- a/depends/packages/libgmp.mk
+++ b/depends/packages/libgmp.mk
@@ -18,7 +18,7 @@ $(package)_dependencies=
 $(package)_config_opts=--enable-cxx --disable-shared
 else
 $(package)_version=6.1.1
-$(package)_download_path=https://gmplib.org/download/gmp/
+$(package)_download_path=https://ftp.gnu.org/pub/gnu/gmp
 $(package)_file_name=gmp-$($(package)_version).tar.bz2
 $(package)_sha256_hash=a8109865f2893f1373b0a8ed5ff7429de8db696fc451b1036bd7bdf95bbeffd6
 $(package)_dependencies=