File pkgs/mpfr artifact 8921e1fbd3 part of check-in 9b4716dc28
#! /usr/bin/env bash version='3.1.2' url="http://ftp.gnu.org/gnu/mpfr/mpfr-${version}.tar.xz" domain=core.appfs.rkeene.org sha256='399d0f47ef6608cc01d29ed1b99c7faff36d9994c45f36f41ba250147100453b' require=(gmp)