From 8c20ab97a82fdba41c854b03610fe81b1d26329e Mon Sep 17 00:00:00 2001
From: Dylan Araps <dylan.araps@gmail.com>
Date: Wed, 18 Dec 2019 16:57:01 +0000
Subject: [PATCH] gcc: Use better mirror

---
 core/gcc/sources | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/gcc/sources b/core/gcc/sources
index a76e4eeb..c890f79d 100644
--- a/core/gcc/sources
+++ b/core/gcc/sources
@@ -1,5 +1,5 @@
 https://gcc.gnu.org/pub/gcc/releases/gcc-9.2.0/gcc-9.2.0.tar.xz gcc
 https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz gcc/gmp
-https://www.mpfr.org/mpfr-current/mpfr-4.0.2.tar.xz gcc/mpfr
+https://ftp.gnu.org/gnu/mpfr/mpfr-4.0.2.tar.xz gcc/mpfr
 https://ftp.gnu.org/gnu/mpc/mpc-1.1.0.tar.gz gcc/mpc
 files/c99