From 07fb5a00ba8e8d7edaed4e3e27698ce40e93eafe Mon Sep 17 00:00:00 2001
From: GitHub Actions <actions@github.com>
Date: Wed, 26 Jun 2024 03:30:47 +0000
Subject: [PATCH] Sync config files from main

---
 docs/.vitepress/config/source.json | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/docs/.vitepress/config/source.json b/docs/.vitepress/config/source.json
index 8fdfc85..5dadd94 100644
--- a/docs/.vitepress/config/source.json
+++ b/docs/.vitepress/config/source.json
@@ -179,8 +179,12 @@
         }
     },
     "gmp": {
-        "type": "ghtagtar",
-        "repo": "alisw/GMP",
+        "type": "url",
+        "url": "https://dl.static-php.dev/static-php-cli/deps/gmp/gmp-6.3.0.tar.xz",
+        "alt": {
+            "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."