1.1 --- a/config/companion_libs/gmp.in	Wed May 02 21:09:29 2012 +0200
     1.2 +++ b/config/companion_libs/gmp.in	Wed Dec 26 11:53:05 2012 +0100
     1.3 @@ -26,16 +26,6 @@
     1.4      bool
     1.5      prompt "4.3.0"
     1.6  
     1.7 -config GMP_V_4_2_4
     1.8 -    bool
     1.9 -    prompt "4.2.4 (OBSOLETE)"
    1.10 -    depends on OBSOLETE
    1.11 -
    1.12 -config GMP_V_4_2_2
    1.13 -    bool
    1.14 -    prompt "4.2.2 (OBSOLETE)"
    1.15 -    depends on OBSOLETE
    1.16 -
    1.17  endchoice
    1.18  
    1.19  config GMP_VERSION
    1.20 @@ -47,5 +37,3 @@
    1.21      default "4.3.2" if GMP_V_4_3_2
    1.22      default "4.3.1" if GMP_V_4_3_1
    1.23      default "4.3.0" if GMP_V_4_3_0
    1.24 -    default "4.2.4" if GMP_V_4_2_4
    1.25 -    default "4.2.2" if GMP_V_4_2_2