NAME='libmpfr'
BUILD_LIBRARIES='libstdc++ libgmp'
VERSION='3.1.3'
DISTNAME='mpfr-3.1.3'
ARCHIVE='mpfr-3.1.3.tar.xz'
SHA256SUM='6835a08bd992c8257641791e9a6a2b35b02336c8de26d0a8577953747e514a16'
UPSTREAM_SITE='https://ftp.gnu.org/gnu/mpfr'
UPSTREAM_ARCHIVE='mpfr-3.1.3.tar.xz'