diff options
-rw-r--r-- | toolchain/mpfr/Makefile.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toolchain/mpfr/Makefile.inc b/toolchain/mpfr/Makefile.inc index b72a540d2..715536cf1 100644 --- a/toolchain/mpfr/Makefile.inc +++ b/toolchain/mpfr/Makefile.inc @@ -2,7 +2,7 @@ # material, please see the LICENCE file in the top-level directory. PKG_NAME:= mpfr -PKG_VERSION:= 3.1.5 +PKG_VERSION:= 4.0.1 PKG_RELEASE:= 1 -PKG_HASH:= 015fde82b3979fbe5f83501986d328331ba8ddf008c1ff3da3c238f49ca062bc +PKG_HASH:= 67874a60826303ee2fb6affc6dc0ddd3e749e9bfcb4c8655e3953d0458a6e16e PKG_SITES:= http://www.mpfr.org/mpfr-current/ |