diff options
author | 2018-02-02 06:16:05 (GMT) | |
---|---|---|
committer | 2018-02-02 06:16:05 (GMT) | |
commit | fd9fe523b22cb6281f26081232a3f8f3aee7fda1 (patch) | |
tree | 9851733e0973e1de900d7f932e5b88fe637441f3 /packages/gmp/package.desc | |
parent | ba165ed4c0bfa8a83e61a2efd1ad205777978486 (diff) | |
parent | 36bb675a71cc66a2abd69bc82d613f2153d3791f (diff) |
Merge pull request #904 from stilor/upgrade
A bunch of upgrades
Diffstat (limited to 'packages/gmp/package.desc')
-rw-r--r-- | packages/gmp/package.desc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/gmp/package.desc b/packages/gmp/package.desc index d024c39..3bf7dc5 100644 --- a/packages/gmp/package.desc +++ b/packages/gmp/package.desc @@ -1,6 +1,6 @@ repository='hg https://gmplib.org/repo/gmp/' bootstrap='./.bootstrap' mirrors='https://gmplib.org/download/gmp https://gmplib.org/download/gmp/archive $(CT_Mirrors GNU gmp)' -milestones='5.1' +milestones='5.0.0 5.1.0' archive_formats='.tar.xz .tar.lz .tar.bz2' signature_format='packed/.sig' |