From 835da45e48bb20dd645cc144a990dea59d16d183 Mon Sep 17 00:00:00 2001 From: Samuel Date: Mon, 8 Jan 2024 13:44:42 +0100 Subject: [PATCH] Change boost download server (#346) Update boost download server --- ci/docker/Dockerfile.build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/docker/Dockerfile.build b/ci/docker/Dockerfile.build index e10dd0e83b..573b473ba7 100644 --- a/ci/docker/Dockerfile.build +++ b/ci/docker/Dockerfile.build @@ -28,7 +28,7 @@ RUN apt-get update -qq && apt-get install -qq -y --no-install-recommends \ htop && \ rm -rf /var/lib/apt/lists/* -RUN wget --quiet https://boostorg.jfrog.io/artifactory/main/release/1.72.0/source/boost_1_72_0.tar.gz && \ +RUN wget --quiet -O boost_1_72_0.tar.gz https://sourceforge.net/projects/boost/files/boost/1.72.0/boost_1_72_0.tar.gz/download && \ echo c66e88d5786f2ca4dbebb14e06b566fb642a1a6947ad8cc9091f9f445134143f boost_1_72_0.tar.gz > boost_hash.txt && \ sha256sum -c boost_hash.txt && \ tar xzf boost_1_72_0.tar.gz && \