Update binary-releases.yml

Domaine gmplib.org interdit d'accès depuis GitHub.
ddeclerck · Aug 17, 2023 · 854a5b6 · 854a5b6
1 parent 98b5ace
commit 854a5b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binary-releases.yml b/.github/workflows/binary-releases.yml
@@ -101,7 +101,7 @@ jobs:
         run: |
           sudo apt update
           sudo apt install m4 perl python3 clang git build-essential lzip libgmp-dev libmpfr-dev
-          wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.lz && tar xaf gmp-6.2.1.tar.lz
+          wget https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.lz && tar xaf gmp-6.2.1.tar.lz
           ( cd gmp-6.2.1; CC=musl-gcc ./configure --prefix /tmp/gmp-prefix && make && make install )
           wget https://www.mpfr.org/mpfr-4.1.0/mpfr-4.1.0.tar.xz && tar xaf mpfr-4.1.0.tar.xz
           ( cd mpfr-4.1.0; CC=musl-gcc ./configure --prefix /tmp/gmp-prefix -with-gmp=/tmp/gmp-prefix && make && make install )