crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-07 16:55:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into v3-refactor/new-extensions

Browse Source 
# Conflicts:
#	src/SPC/store/SourcePatcher.php
This commit is contained in:
crazywhalecc
2026-03-07 21:30:02 +08:00
parent 0548aba248 8c4e3d58a3
commit 5669642cf3
4 changed files with 39 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
config/source.json
View File

@@ -361,7 +361,7 @@
},
"gmp": {
"type": "filelist",
"url": "https://gmplib.org/download/gmp/",
"url": "https://ftp.gnu.org/gnu/gmp/",
"regex": "/href=\"(?<file>gmp-(?<version>[^\"]+)\\.tar\\.xz)\"/",
"provide-pre-built": true,
"alt": {