History SPECS/mpfr.spec