diff options
author | Alexey Neyman <stilor@att.net> | 2018-02-02 06:16:05 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-02 06:16:05 (GMT) |
commit | fd9fe523b22cb6281f26081232a3f8f3aee7fda1 (patch) | |
tree | 9851733e0973e1de900d7f932e5b88fe637441f3 /packages/mpfr/package.desc | |
parent | ba165ed4c0bfa8a83e61a2efd1ad205777978486 (diff) | |
parent | 36bb675a71cc66a2abd69bc82d613f2153d3791f (diff) |
Merge pull request #904 from stilor/upgrade
A bunch of upgrades
Diffstat (limited to 'packages/mpfr/package.desc')
-rw-r--r-- | packages/mpfr/package.desc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/mpfr/package.desc b/packages/mpfr/package.desc index a2e777a..aaddc7d 100644 --- a/packages/mpfr/package.desc +++ b/packages/mpfr/package.desc @@ -4,3 +4,4 @@ bootstrap='wget -O m4/ax_pthread.m4 \\"http://git.savannah.gnu.org/gitweb/?p=aut mirrors='http://www.mpfr.org/mpfr-${CT_MPFR_VERSION} $(CT_Mirrors GNU mpfr)' archive_formats='.tar.xz .tar.bz2 .tar.gz .zip' signature_format='packed/.asc' +milestones='3.0.0 4.0.0' |