summaryrefslogtreecommitdiff
path: root/config/companion_libs/mpfr.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r--config/companion_libs/mpfr.in6
1 files changed, 2 insertions, 4 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index f4e39bc..ae01a8d 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -8,13 +8,11 @@ choice
config MPFR_V_3_1_0
bool
- prompt "3.1.0 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "3.1.0"
config MPFR_V_3_0_1
bool
- prompt "3.0.1 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "3.0.1"
config MPFR_V_3_0_0
bool