Download Boost with aria2 using two mirrors

Install aria2 in the image and fetch Boost from the Aliyun and official
mirrors, limited to one connection per host.

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

debian13/Dockerfile

@@ -18,12 +18,16 @@ RUN sed -i 's|deb.debian.org|mirrors.ustc.edu.cn|g' /etc/apt/sources.list.d/debi
         pkg-config \
         which \
         makeself \
+        aria2 \
     && rm -rf /var/lib/apt/lists/*
 
 RUN git config --global url."https://wangguofang.net/github.com/".insteadOf "https://github.com/"
 
-RUN curl --fail --location --output boost.tar.bz2 \
+RUN aria2c \
+        --max-connection-per-server=1 --retry-wait=3 \
+        --out=boost.tar.bz2 \
         https://mirrors.aliyun.com/blfs/conglomeration/boost/boost_1_83_0.tar.bz2 \
+        https://archives.boost.io/release/1.83.0/source/boost_1_83_0.tar.bz2 \
     && mkdir src \
     && tar --extract --bzip2 --file=boost.tar.bz2 --directory=src --strip-components=1 \
     && rm boost.tar.bz2 \