(BIN) mpfr-3.1.0.tar.xz
 (BIN) mpfr-3.1.2.tar.xz