diff -r 3e2f2100a76d -r 6569f6a9060c config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Wed May 02 21:09:29 2012 +0200
+++ b/config/companion_libs/gmp.in	Wed Dec 26 11:53:05 2012 +0100
@@ -26,16 +26,6 @@
     bool
     prompt "4.3.0"
 
-config GMP_V_4_2_4
-    bool
-    prompt "4.2.4 (OBSOLETE)"
-    depends on OBSOLETE
-
-config GMP_V_4_2_2
-    bool
-    prompt "4.2.2 (OBSOLETE)"
-    depends on OBSOLETE
-
 endchoice
 
 config GMP_VERSION
@@ -47,5 +37,3 @@
     default "4.3.2" if GMP_V_4_3_2
     default "4.3.1" if GMP_V_4_3_1
     default "4.3.0" if GMP_V_4_3_0
-    default "4.2.4" if GMP_V_4_2_4
-    default "4.2.2" if GMP_V_4_2_2