Use USTC mirror for GMP source

debian13/Dockerfile

@@ -446,7 +446,7 @@ RUN git clone --branch=v1.4.1 --depth=1 https://github.com/redis/hiredis.git src
     && rm -rf build src
 
 RUN curl --fail --location --output gmp.tar.xz \
-        https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz \
+        https://mirrors.ustc.edu.cn/gnu/gmp/gmp-6.3.0.tar.xz \
     && echo "a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898  gmp.tar.xz" \
         | sha256sum --check - \
     && mkdir src \