diff options
Diffstat (limited to 'packages/gmp/package.desc')
| -rw-r--r-- | packages/gmp/package.desc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/packages/gmp/package.desc b/packages/gmp/package.desc index eed0d3ca..f7dd3da2 100644 --- a/packages/gmp/package.desc +++ b/packages/gmp/package.desc @@ -1,4 +1,5 @@ repository='hg https://gmplib.org/repo/gmp/' bootstrap='./.bootstrap' -mirrors='https://gmplib.org/download/gmp $(CT_Mirrors GNU gmp)' +mirrors='https://gmplib.org/download/gmp https:////gmplib.org/download/gmp/archive $(CT_Mirrors GNU gmp)' milestones='5.1' +archive_formats='.tar.xz .tar.lz .tar.bz2' |