/core/mpfr/
../
PKGBUILD
mpfr-3.1.2-p3.patch
mpfr.install