From 41a7d72b1c49fcc640b24b991b1de14b6ebc5897 Mon Sep 17 00:00:00 2001
From: Hanif Koh <hanifkoh@outlook.com>
Date: Tue, 20 Oct 2026 16:36:32 +0800
Subject: [PATCH] Add gmplib.org as a Fallback Download for GMP

Same two-source pattern as MPFR: the GNU mirror first, the project's own
server second, one hash for both.
---
 deps/GMP/GMP.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/deps/GMP/GMP.cmake b/deps/GMP/GMP.cmake
index 66b9c58847..06d1665cb7 100644
--- a/deps/GMP/GMP.cmake
+++ b/deps/GMP/GMP.cmake
@@ -64,6 +64,7 @@ else ()
     # silicon whenever CGAL falls back to exact arithmetic.
     ExternalProject_Add(dep_GMP
         URL https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.bz2
+            https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2
         URL_HASH SHA256=ac28211a7cfb609bae2e2c8d6058d66c8fe96434f740cf6fe2e47b000d1c20cb
         DOWNLOAD_DIR ${DEP_DOWNLOAD_DIR}/GMP
         PATCH_COMMAND git apply ${GMP_DIRECTORY_FLAG} --verbose ${CMAKE_CURRENT_LIST_DIR}/0001-GMP_GCC15.patch