From 7740da319795c332a1dcbbf6ba4cb3a9a3297357 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Sat, 24 May 2014 15:50:08 +0200
Subject: [PATCH] gmplib: use faster download mirror

Fixes #1155.
---
 repos/libports/ports/gmp.port | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/ports/gmp.port b/repos/libports/ports/gmp.port
index 26f147013..a877cd799 100644
--- a/repos/libports/ports/gmp.port
+++ b/repos/libports/ports/gmp.port
@@ -2,7 +2,7 @@ LICENSE   := GPLv3
 VERSION   := 4.3.2
 DOWNLOADS := gmp.archive
 
-URL(gmp) := ftp://ftp.gmplib.org/pub/gmp-$(VERSION)/gmp-$(VERSION).tar.bz2
+URL(gmp) := https://ftp.gnu.org/gnu/gmp/gmp-$(VERSION).tar.bz2
 SHA(gmp) := c011e8feaf1bb89158bd55eaabd7ef8fdd101a2c
 SIG(gmp) := ${URL(gmp)}.sig
 KEY(gmp) := "73D46C3667461E4BD93972495D6D47DFDB899F46 343C2FF0FBEE5EC2EDBEF399F3599FF828C67298"