diff -r 073d351bdcd3 -r 61edd9d19e3c config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Sun Sep 13 18:38:06 2009 +0200
+++ b/config/companion_libs/gmp.in	Wed Dec 30 15:36:22 2009 +0100
@@ -16,11 +16,13 @@
 
 config GMP_V_4_2_4
     bool
-    prompt "4.2.4"
+    prompt "4.2.4 (OBSOLETE)"
+    depends on OBSOLETE
 
 config GMP_V_4_2_2
     bool
-    prompt "4.2.2"
+    prompt "4.2.2 (OBSOLETE)"
+    depends on OBSOLETE
 
 endchoice