From ed98c4957c9934801b9c5fc6db0b5384a97e2139 Mon Sep 17 00:00:00 2001
From: Hannes Vogt <hannes@havogt.de>
Date: Mon, 6 Jan 2025 09:49:32 +0100
Subject: [PATCH] Update boost URL (#105)

---
 base/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/Dockerfile b/base/Dockerfile
index 288128f..fdca940 100644
--- a/base/Dockerfile
+++ b/base/Dockerfile
@@ -18,7 +18,7 @@ RUN apt-get update -qq && \
 ARG BOOST_VERSION=1.79.0
 RUN cd /tmp && \
     BOOST_VERSION_UNDERLINE=$(echo ${BOOST_VERSION} | sed 's/\./_/g') && \
-    wget https://boostorg.jfrog.io/artifactory/main/release/${BOOST_VERSION}/source/boost_${BOOST_VERSION_UNDERLINE}.tar.gz && \
+    wget https://archives.boost.io/release/${BOOST_VERSION}/source/boost_${BOOST_VERSION_UNDERLINE}.tar.gz && \
     tar xzf boost_${BOOST_VERSION_UNDERLINE}.tar.gz && \
     cd boost_${BOOST_VERSION_UNDERLINE} && \
     ./bootstrap.sh && \