diff options
Diffstat (limited to 'toolchain/mpfr/Makefile.inc')
| -rw-r--r-- | toolchain/mpfr/Makefile.inc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/toolchain/mpfr/Makefile.inc b/toolchain/mpfr/Makefile.inc index 6f4ed40ef..dbb1064cc 100644 --- a/toolchain/mpfr/Makefile.inc +++ b/toolchain/mpfr/Makefile.inc @@ -2,8 +2,8 @@ # material, please see the LICENCE file in the top-level directory. PKG_NAME:= mpfr -PKG_VERSION:= 2.4.2 +PKG_VERSION:= 3.1.2 PKG_RELEASE:= 1 -PKG_MD5SUM:= 89e59fe665e2b3ad44a6789f40b059a0 +PKG_MD5SUM:= e3d203d188b8fe60bb6578dd3152e05c PKG_SITES:= http://www.mpfr.org/mpfr-current/ -DISTFILES:= $(PKG_NAME)-$(PKG_VERSION).tar.bz2 +DISTFILES:= $(PKG_NAME)-$(PKG_VERSION).tar.xz |