From 7d31c371e099010a48c99276c126d58d09a00ec9 Mon Sep 17 00:00:00 2001
From: crazywhalecc <jesse2061@outlook.com>
Date: Sun, 16 Jul 2023 17:59:21 +0800
Subject: [PATCH] change gmp to github mirror

---
 config/source.json | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/config/source.json b/config/source.json
index f5662d63..f531538a 100644
--- a/config/source.json
+++ b/config/source.json
@@ -91,9 +91,8 @@
         }
     },
     "gmp": {
-        "type": "filelist",
-        "url": "https://gmplib.org/download/gmp/",
-        "regex": "/href=\"(?<file>gmp-(?<version>[^\"]+)\\.tar\\.xz)\"/",
+        "type": "ghtagtar",
+        "repo": "alisw/GMP",
         "license": {
             "type": "text",
             "text": "Since version 6, GMP is distributed under the dual licenses, GNU LGPL v3 and GNU GPL v2. These licenses make the library free to use, share, and improve, and allow you to pass on the result. The GNU licenses give freedoms, but also set firm restrictions on the use with non-free programs."