OSDN Git Service

* configure.in: Require GMP-4.1+ and MPFR-2.2+. Don't check