components/mpfr/patches/001-configure.patch
changeset 1445 4219a6332b8e
parent 219 22d9e175d379