configure: we do not require curl, but wget.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
(transplanted from d84ae99556cd948350c086628a5e163e6b464e00)
6 # Don't remove next line
7 # CT_INSERT_VERSION_BELOW
35 prompt "2.3.2 (OBSOLETE)"
40 prompt "2.3.1 (OBSOLETE)"
47 # Don't remove next line
48 # CT_INSERT_VERSION_STRING_BELOW
49 default "3.1.0" if MPFR_V_3_1_0
50 default "3.0.1" if MPFR_V_3_0_1
51 default "3.0.0" if MPFR_V_3_0_0
52 default "2.4.2" if MPFR_V_2_4_2
53 default "2.4.1" if MPFR_V_2_4_1
54 default "2.4.0" if MPFR_V_2_4_0
55 default "2.3.2" if MPFR_V_2_3_2
56 default "2.3.1" if MPFR_V_2_3_1