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 6524cb923..79bc9583a 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:= 3.1.2 +PKG_VERSION:= 3.1.3 PKG_RELEASE:= 1 -PKG_HASH:= 399d0f47ef6608cc01d29ed1b99c7faff36d9994c45f36f41ba250147100453b +PKG_HASH:= 6835a08bd992c8257641791e9a6a2b35b02336c8de26d0a8577953747e514a16 PKG_SITES:= http://www.mpfr.org/mpfr-current/ DISTFILES:= $(PKG_NAME)-$(PKG_VERSION).tar.xz |