diff -r 3e2f2100a76d -r ec3c3aa99c79 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Wed May 02 21:09:29 2012 +0200
+++ b/config/companion_libs/mpfr.in	Fri Apr 26 14:30:05 2013 +0200
@@ -30,16 +30,6 @@
     bool
     prompt "2.4.0"
 
-config MPFR_V_2_3_2
-    bool
-    prompt "2.3.2 (OBSOLETE)"
-    depends on OBSOLETE
-
-config MPFR_V_2_3_1
-    bool
-    prompt "2.3.1 (OBSOLETE)"
-    depends on OBSOLETE
-
 endchoice
 
 config MPFR_VERSION
@@ -52,5 +42,3 @@
     default "2.4.2" if MPFR_V_2_4_2
     default "2.4.1" if MPFR_V_2_4_1
     default "2.4.0" if MPFR_V_2_4_0
-    default "2.3.2" if MPFR_V_2_3_2
-    default "2.3.1" if MPFR_V_2_3_1