From b3f8515fb07fcd24e1057487976927cc567d06be Mon Sep 17 00:00:00 2001 From: Akinwale Ariwodola Date: Sat, 23 Mar 2019 18:06:04 +0100 Subject: [PATCH] use different libgmp mirror --- recipes/libgmp/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/recipes/libgmp/__init__.py b/recipes/libgmp/__init__.py index 7e5ba596..c7eab19c 100644 --- a/recipes/libgmp/__init__.py +++ b/recipes/libgmp/__init__.py @@ -8,8 +8,8 @@ import os class LibGMPRecipe(Recipe): version = '6.1.2' - url = 'http://www.mirrorservice.org/pub/gnu/gmp/gmp-{version}.tar.bz2' - #url = 'https://gmplib.org/download/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): build_dir = self.get_build_dir(arch.arch)