diff options
Diffstat (limited to 'config/companion_libs/mpfr.in')
| -rw-r--r-- | config/companion_libs/mpfr.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index ae01a8d0..1b8eddf1 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -30,16 +30,6 @@ config MPFR_V_2_4_0 bool prompt "2.4.0" -config MPFR_V_2_3_2 - bool - prompt "2.3.2 (OBSOLETE)" - depends on OBSOLETE - -config MPFR_V_2_3_1 - bool - prompt "2.3.1 (OBSOLETE)" - depends on OBSOLETE - endchoice config MPFR_VERSION @@ -52,5 +42,3 @@ config MPFR_VERSION default "2.4.2" if MPFR_V_2_4_2 default "2.4.1" if MPFR_V_2_4_1 default "2.4.0" if MPFR_V_2_4_0 - default "2.3.2" if MPFR_V_2_3_2 - default "2.3.1" if MPFR_V_2_3_1 |