changeset 3102 | 75c2df0f7a12 |
parent 2756 | 3976adc582fb |
child 3142 | 6569f6a9060c |
1.1 --- a/config/companion_libs/mpfr.in Sun Oct 16 14:38:52 2011 +0200 1.2 +++ b/config/companion_libs/mpfr.in Fri Nov 02 04:04:04 2012 +0000 1.3 @@ -8,13 +8,11 @@ 1.4 1.5 config MPFR_V_3_1_0 1.6 bool 1.7 - prompt "3.1.0 (EXPERIMENTAL)" 1.8 - depends on EXPERIMENTAL 1.9 + prompt "3.1.0" 1.10 1.11 config MPFR_V_3_0_1 1.12 bool 1.13 - prompt "3.0.1 (EXPERIMENTAL)" 1.14 - depends on EXPERIMENTAL 1.15 + prompt "3.0.1" 1.16 1.17 config MPFR_V_3_0_0 1.18 bool