config/companion_libs/mpfr.in
changeset 3142 6569f6a9060c
parent 2957 3e2f2100a76d
child 3208 c92461167049
     1.1 --- a/config/companion_libs/mpfr.in	Wed May 02 21:09:29 2012 +0200
     1.2 +++ b/config/companion_libs/mpfr.in	Wed Dec 26 11:53:05 2012 +0100
     1.3 @@ -30,16 +30,6 @@
     1.4      bool
     1.5      prompt "2.4.0"
     1.6  
     1.7 -config MPFR_V_2_3_2
     1.8 -    bool
     1.9 -    prompt "2.3.2 (OBSOLETE)"
    1.10 -    depends on OBSOLETE
    1.11 -
    1.12 -config MPFR_V_2_3_1
    1.13 -    bool
    1.14 -    prompt "2.3.1 (OBSOLETE)"
    1.15 -    depends on OBSOLETE
    1.16 -
    1.17  endchoice
    1.18  
    1.19  config MPFR_VERSION
    1.20 @@ -52,5 +42,3 @@
    1.21      default "2.4.2" if MPFR_V_2_4_2
    1.22      default "2.4.1" if MPFR_V_2_4_1
    1.23      default "2.4.0" if MPFR_V_2_4_0
    1.24 -    default "2.3.2" if MPFR_V_2_3_2
    1.25 -    default "2.3.1" if MPFR_V_2_3_1