From 83dabe59173ab7313630190a4b84d0817b16063b Mon Sep 17 00:00:00 2001
From: Heinrich Schuchardt <xypron.glpk@gmx.de>
Date: Sun, 1 Nov 2020 09:59:26 +0000
Subject: [PATCH] Use ftp.gnu.org to download GNU MPc

http://www.multiprecision.org/mpc/download/ is down.
We should use the GNU server for downloading the GNU MPC library.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
---
 defs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/defs.sh b/defs.sh
index 6ae5b4c..2c37fc4 100644
--- a/defs.sh
+++ b/defs.sh
@@ -233,7 +233,7 @@ gccprereqs() {
 
     if [ ! -e gcc-$GCC_VERSION/mpc ]
     then
-        fetchextract http://www.multiprecision.org/mpc/download/ mpc-$MPC_VERSION .tar.gz
+        fetchextract https://ftp.gnu.org/gnu/mpc/ mpc-$MPC_VERSION .tar.gz
         mv mpc-$MPC_VERSION gcc-$GCC_VERSION/mpc
     fi
 }