Update fetch URL gitweb on savannah.gnu.orgHEADmaster

Also add a reliable mirror for ftp.gnu.org which occasionally is overloaded.

1 files changed, 11 insertions, 1 deletions

diff --git a/etc/repos.json b/etc/repos.json
index 7985d74..9eac04c 100644
--- a/etc/repos.json
+++ b/etc/repos.json
@@ -111,6 +111,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gmp/gmp-4.2.4.tar.gz"
       , "sha256": "09652b51e348ea459f121c01b4b7189821e06bf457fbd85382aa6f0b741b4e78"
       , "subdir": "gmp-4.2.4"
+      , "mirrors": ["https://ftp.fau.de/gnu/gmp/gmp-4.2.4.tar.gz"]
       }
     , "target_root": "imports"
     , "target_file_name": "files.TARGETS"
@@ -144,6 +145,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gmp/gmp-5.1.3.tar.gz"
       , "sha256": "71f37fe18b7eaffd0700c0d3c5062268c3933c7100c29f944b81d2b6e9f78527"
       , "subdir": "gmp-5.1.3"
+      , "mirrors": ["https://ftp.fau.de/gnu/gmp/gmp-5.1.3.tar.gz"]
       }
     , "target_root": "imports"
     , "target_file_name": "files.TARGETS"
@@ -155,6 +157,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/binutils/binutils-2.41.tar.xz"
       , "sha256": "ae9a5789e23459e59606e6714723f2d3ffc31c03174191ef0d015bdf06007450"
       , "subdir": "binutils-2.41"
+      , "mirrors": ["https://ftp.fau.de/gnu/binutils/binutils-2.41.tar.xz"]
       }
     , "target_root": "imports"
     , "target_file_name": "binutils.TARGETS"
@@ -178,6 +181,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/mpc/mpc-1.3.1.tar.gz"
       , "sha256": "ab642492f5cf882b74aa0cb730cd410a81edcdbec895183ce930e706c1c759b8"
       , "subdir": "mpc-1.3.1"
+      , "mirrors": ["https://ftp.fau.de/gnu/mpc/mpc-1.3.1.tar.gz"]
       }
     , "target_root": "imports"
     , "target_file_name": "files.TARGETS"
@@ -209,7 +213,7 @@
     { "repository":
       { "type": "archive"
       , "content": "3a01a6bdf61b589ad70e35e1abf15758f6c2aa39"
-      , "fetch": "https://git.savannah.gnu.org/gitweb/?p=config.git;a=snapshot;h=3d5db9ebe8607382d17d60faf8853c944fc5f353;sf=tgz"
+      , "fetch": "https://gitweb.git.savannah.gnu.org/gitweb/?p=config.git;a=snapshot;h=3d5db9ebe8607382d17d60faf8853c944fc5f353;sf=tgz"
       , "sha256": "b9974284ff6f9e285c8c57f57a9b0726f48576c61edc2e94a71815198fda0827"
       , "subdir": "config-3d5db9e"
       }
@@ -303,6 +307,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz"
       , "sha256": "dd16fb1d67bfab79a72f5e8390735c49e3e8e70b4945a15ab1f81ddb78658fb3"
       , "subdir": "make-4.4.1"
+      , "mirrors": ["https://ftp.fau.de/gnu/make/make-4.4.1.tar.gz"]
       }
     , "target_root": "bootstrap"
     , "target_file_name": "stage-0-make.TARGETS"
@@ -329,6 +334,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gcc/gcc-4.7.4/gcc-4.7.4.tar.gz"
       , "sha256": "ddbaa583c5d4e4f0928bf15d9f6b6c283349e16eedc47bde71e1b813f6f37819"
       , "subdir": "gcc-4.7.4"
+      , "mirrors": ["https://ftp.fau.de/gnu//gcc/gcc-4.7.4/gcc-4.7.4.tar.gz"]
       }
     , "target_root": "bootstrap"
     , "target_file_name": "stage-0-gcc.TARGETS"
@@ -350,6 +356,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gcc/gcc-10.2.0/gcc-10.2.0.tar.gz"
       , "sha256": "27e879dccc639cd7b0cc08ed575c1669492579529b53c9ff27b0b96265fa867d"
       , "subdir": "gcc-10.2.0"
+      , "mirrors": ["https://ftp.fau.de/gnu/gcc/gcc-10.2.0/gcc-10.2.0.tar.gz"]
       }
     , "target_root": "bootstrap"
     , "target_file_name": "stage-1-gcc.TARGETS"
@@ -369,6 +376,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gcc/gcc-13.3.0/gcc-13.3.0.tar.gz"
       , "sha256": "3a2b10cab86e32358fdac871546d57e2700e9bdb5875ef33fff5b601265b9e32"
       , "subdir": "gcc-13.3.0"
+      , "mirrors": ["https://ftp.fau.de/gnu/gcc/gcc-13.3.0/gcc-13.3.0.tar.gz"]
       }
     , "target_root": "compilers"
     , "target_file_name": "gcc-13-native.TARGETS"
@@ -388,6 +396,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/gcc/gcc-14.2.0/gcc-14.2.0.tar.xz"
       , "sha256": "a7b39bc69cbf9e25826c5a60ab26477001f7c08d85cec04bc0e29cabed6f3cc9"
       , "subdir": "gcc-14.2.0"
+      , "mirrors": ["https://ftp.fau.de/gnu/gcc/gcc-14.2.0/gcc-14.2.0.tar.xz"]
       }
     , "target_root": "compilers"
     , "target_file_name": "gcc-14-native.TARGETS"
@@ -547,6 +556,7 @@
       , "fetch": "https://ftp.gnu.org/gnu/make/make-4.4.1.tar.gz"
       , "sha256": "dd16fb1d67bfab79a72f5e8390735c49e3e8e70b4945a15ab1f81ddb78658fb3"
       , "subdir": "make-4.4.1"
+      , "mirrors": ["https://ftp.fau.de/gnu/make/make-4.4.1.tar.gz"]
       }
     , "target_root": "tools"
     , "target_file_name": "make-4.4.TARGETS"