Change libgmp source

Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
vsc-tools · Jul 1, 2023 · 1f5a8e7 · 1f5a8e7
1 parent 52faa3c
commit 1f5a8e7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ivpm.yaml b/ivpm.yaml
@@ -21,7 +21,8 @@ package:
      - name: gtest
        url: https://github.com/google/googletest/archive/refs/tags/release-1.11.0.tar.gz
      - name: gmp
-       url: https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
+       url: https://mirrors.kernel.org/gnu/gmp/gmp-6.2.1.tar.xz
+       #       url: https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz
      - name: ninja
        src: pypi
      - name: debug-mgr