diff -r f04fb2d52023 -r dfadefc288c1 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Wed Jan 06 18:42:41 2010 +0100
+++ b/config/companion_libs/mpfr.in	Sun Jan 31 12:28:52 2010 +0100
@@ -8,8 +8,7 @@
 
 config MPFR_V_2_4_2
     bool
-    prompt "2.4.2 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "2.4.2"
 
 config MPFR_V_2_4_1
     bool