diff options
author | Alexey Neyman <stilor@att.net> | 2017-08-19 19:43:51 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-19 19:43:51 (GMT) |
commit | 434c205e89f9d4e06d0210ae8504fb6a88a11d00 (patch) | |
tree | 5c381b037991f0ef5a46bf539e83122894c84887 /packages/gmp/package.desc | |
parent | 73e8b0b228e29f6cac1b186cbcb7e3d1a47711ac (diff) | |
parent | d26dc5d5f5509232e7bd162baa70697c86307079 (diff) |
Merge pull request #803 from stilor/upgrades
Various package upgrades
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 eed0d3c..f7dd3da 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' |