summaryrefslogtreecommitdiff
path: root/toolchain/mpfr
diff options
context:
space:
mode:
authorWaldemar Brodkorb <wbx@openadk.org>2014-01-06 16:45:41 +0100
committerWaldemar Brodkorb <wbx@openadk.org>2014-01-06 16:45:41 +0100
commitff6313ae0ed89f6d86658a001ff9db0177b1f432 (patch)
tree8d0998d6793e608f8e77d442cef3046efe3fc864 /toolchain/mpfr
parent729ec728a67374bd4fe682b9868b21863d127457 (diff)
update gmp/mpfr to latest upstream version
Diffstat (limited to 'toolchain/mpfr')
-rw-r--r--toolchain/mpfr/Makefile.inc6
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