commit 17800f9f36250247c04464bbaf4ccf587fb787f6
parent ddfc091fe6f984be0976469afcfc08ce4bea5f15
Author: Cem Keylan <cem@ckyln.com>
Date: Sat, 30 May 2020 15:05:34 +0300
gcc: change gmp source
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/core/gcc/sources b/core/gcc/sources
@@ -1,5 +1,5 @@
https://gcc.gnu.org/pub/gcc/releases/gcc-10.1.0/gcc-10.1.0.tar.xz gcc
-https://gmplib.org/download/gmp/gmp-6.2.0.tar.xz gcc/gmp
+https://ftp.gnu.org/gnu/gmp/gmp-6.2.0.tar.xz gcc/gmp
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