Use ftp URL for gmp

Author: hasufell

.github/workflows/reusable-release.yml

@@ -34,6 +34,7 @@ env:
   GHC_TEST_TARGETS: "install_bin install_lib update_package_db"
   CABAL_VERSION: ${{ inputs.cabal }}
   GMP_VERSION: ${{ inputs.gmp }}
+  GMP_URL: "https://ftp.gnu.org/gnu/gmp/"
   BOOTSTRAP_HASKELL_NONINTERACTIVE: 1
   BOOTSTRAP_HASKELL_MINIMAL: 1
   DEBIAN_FRONTEND: noninteractive
@@ -111,7 +112,7 @@ jobs:
         run: |
           set -eux
 
-          curl -O -L https://gmplib.org/download/gmp/gmp-${{ env.GMP_VERSION }}.tar.xz
+          curl -O -L ${{ env.GMP_URL }}/gmp-${{ env.GMP_VERSION }}.tar.xz
           tar xf gmp-${{ env.GMP_VERSION }}.tar.xz
           cd gmp-${{ env.GMP_VERSION }}
           CFLAGS=-fPIC ./configure --prefix=$HOME/.local/ --disable-shared