diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 8111928..da9f200 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -8,8 +8,7 @@ choice config MPFR_V_2_4_2 bool - prompt "2.4.2 (EXPERIMENTAL)" - depends on EXPERIMENTAL + prompt "2.4.2" config MPFR_V_2_4_1 bool |