Switch gmp to more reliable mirror

2020-09-27 16:03:30 +02:00
parent 95b107e786
commit 2df10454f0
1 changed files with 1 additions and 1 deletions
@@ -1,6 +1,6 @@
 #!/bin/bash

-GMP_SRC="https://gmplib.org/download/gmp/gmp-6.2.0.tar.xz"
+GMP_SRC="https://ftp.gnu.org/gnu/gmp/gmp-6.2.0.tar.xz"

 ffbuild_enabled() {
    return 0