branch | 1.6 |
changeset 1883 | eec58bf93a1c |
parent 1696 | f04fb2d52023 |
child 1978 | fbee95d8182b |
1.1 --- a/config/companion_libs/mpfr.in Wed Jan 06 18:42:41 2010 +0100 1.2 +++ b/config/companion_libs/mpfr.in Sat Mar 20 18:42:34 2010 +0100 1.3 @@ -8,8 +8,7 @@ 1.4 1.5 config MPFR_V_2_4_2 1.6 bool 1.7 - prompt "2.4.2 (EXPERIMENTAL)" 1.8 - depends on EXPERIMENTAL 1.9 + prompt "2.4.2" 1.10 1.11 config MPFR_V_2_4_1 1.12 bool