components/mpfr/patches/001-configure.patch
changeset 693 15d71a1e47d6
parent 219 22d9e175d379