From 84e4151f42ea474af08ef9d6fbc71f7728bd857b Mon Sep 17 00:00:00 2001
From: Akinwale Ariwodola <akinwale@gmail.com>
Date: Tue, 14 Aug 2018 17:45:54 +0100
Subject: [PATCH] use new libgmp mirror for builds

---
 recipes/libgmp/__init__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/recipes/libgmp/__init__.py b/recipes/libgmp/__init__.py
index b0db5ce8..a974f04e 100644
--- a/recipes/libgmp/__init__.py
+++ b/recipes/libgmp/__init__.py
@@ -7,7 +7,7 @@ import sh
 
 class LibGMPRecipe(Recipe):
     version = '6.1.2'
-    url = 'https://ftp.gnu.org/pub/gnu/gmp/gmp-{version}.tar.bz2'
+    url = 'http://www.mirrorservice.org/pub/gnu/gmp/gmp-{version}.tar.bz2'
     #url = 'https://gmplib.org/download/gmp/gmp-{version}.tar.bz2'
 
     def should_build(self, arch):