components/mpfr/patches/001-configure.patch
changeset 1445 4219a6332b8e
parent 219 22d9e175d379
equal deleted inserted replaced
1444:45cb7c6c7aa2 1445:4219a6332b8e