From 5538f6202a6b745999425c6e01843e7245afc670 Mon Sep 17 00:00:00 2001
From: tangboshi <info@alexander-pastor.de>
Date: Thu, 14 May 2020 20:39:34 +0200
Subject: [PATCH] Update mpc download link

The link provided in defs.sh to download mpc is not working (Error 500 Internal Server Error). However, the link proposed in this change does.
---
 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
 }