diff -r 50b25816f5bb -r f04fb2d52023 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Wed Oct 28 19:15:50 2009 +0100
+++ b/config/companion_libs/mpfr.in	Wed Jan 06 18:42:41 2010 +0100
@@ -6,6 +6,11 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config MPFR_V_2_4_2
+    bool
+    prompt "2.4.2 (EXPERIMENTAL)"
+    depends on EXPERIMENTAL
+
 config MPFR_V_2_4_1
     bool
     prompt "2.4.1"
@@ -30,6 +35,7 @@
     string
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    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