Download gmp and nettle with aria2 using USTC and Tsinghua mirrors

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

debian13/Dockerfile

@@ -609,8 +609,11 @@ RUN curl --fail --location --output hiredis.tar.gz \
     && cmake --build build --parallel "$(nproc)" --target install \
     && rm -rf build src
 
-RUN curl --fail --location --output gmp.tar.xz \
+RUN aria2c \
+        --max-connection-per-server=1 --retry-wait=3 \
+        --out=gmp.tar.xz \
         https://mirrors.ustc.edu.cn/gnu/gmp/gmp-6.3.0.tar.xz \
+        https://mirrors.tuna.tsinghua.edu.cn/gnu/gmp/gmp-6.3.0.tar.xz \
     && mkdir src \
     && tar --extract --xz --file=gmp.tar.xz --directory=src --strip-components=1 \
     && rm gmp.tar.xz \
@@ -621,8 +624,11 @@ RUN curl --fail --location --output gmp.tar.xz \
     && cd .. \
     && rm -rf src
 
-RUN curl --fail --location --output nettle.tar.gz \
+RUN aria2c \
+        --max-connection-per-server=1 --retry-wait=3 \
+        --out=nettle.tar.gz \
         https://mirrors.ustc.edu.cn/gnu/nettle/nettle-3.10.2.tar.gz \
+        https://mirrors.tuna.tsinghua.edu.cn/gnu/nettle/nettle-3.10.2.tar.gz \
     && mkdir src \
     && tar --extract --gzip --file=nettle.tar.gz --directory=src --strip-components=1 \
     && rm nettle.tar.gz \