pkgname=mpfr
version=4.0.2
distfiles="http://www.mpfr.org/${pkgname}-${version}/${pkgname}-${version}.tar.xz"