diff -r 073d351bdcd3 -r 50b25816f5bb config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Sun Sep 13 18:38:06 2009 +0200
+++ b/config/companion_libs/mpfr.in	Wed Oct 28 19:15:50 2009 +0100
@@ -16,11 +16,13 @@
 
 config MPFR_V_2_3_2
     bool
-    prompt "2.3.2"
+    prompt "2.3.2 (OBSOLETE)"
+    depends on OBSOLETE
 
 config MPFR_V_2_3_1
     bool
-    prompt "2.3.1"
+    prompt "2.3.1 (OBSOLETE)"
+    depends on OBSOLETE
 
 endchoice