changeset 1965 | e3d532dd8b5d |
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 Wed May 19 17:53:04 2010 +0200 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