crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-19 05:14:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

Use gmp mirror site

Browse Source
This commit is contained in:
crazywhalecc 2026-03-04 16:32:49 +08:00
parent 12d4009a21
commit 671ebd2582
No known key found for this signature in database
GPG Key ID: 1F4BDD59391F2680
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
config/pkg/lib/gmp.yml
View File

@ -3,7 +3,7 @@ gmp:
artifact: artifact:
source: source:
type: filelist type: filelist
url: 'https://gmplib.org/download/gmp/' url: 'https://ftp.gnu.org/gnu/gmp/'
regex: '/href="(?<file>gmp-(?<version>[^"]+)\.tar\.xz)"/' regex: '/href="(?<file>gmp-(?<version>[^"]+)\.tar\.xz)"/'
source-mirror: source-mirror:
type: url type: url