diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
-rw-r--r-- | config/companion_libs/mpfr.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 61f057a..118e229 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -16,11 +16,13 @@ config MPFR_V_2_4_0 config MPFR_V_2_3_2 bool - prompt "2.3.2" + prompt "2.3.2 (OBSOLETE)" + depends on OBSOLETE config MPFR_V_2_3_1 bool - prompt "2.3.1" + prompt "2.3.1 (OBSOLETE)" + depends on OBSOLETE endchoice |