diff -r f04fb2d52023 -r 492937e513a0 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	Tue May 18 22:59:00 2010 +0200
@@ -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