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
31 prompt "4.2.4 (OBSOLETE)"
36 prompt "4.2.2 (OBSOLETE)"
43 # Don't remove next line
44 # CT_INSERT_VERSION_STRING_BELOW
45 default "5.0.2" if GMP_V_5_0_2
46 default "5.0.1" if GMP_V_5_0_1
47 default "4.3.2" if GMP_V_4_3_2
48 default "4.3.1" if GMP_V_4_3_1
49 default "4.3.0" if GMP_V_4_3_0
50 default "4.2.4" if GMP_V_4_2_4
51 default "4.2.2" if GMP_V_4_2_2