diff -r f04fb2d52023 -r d4fbfbed3a28 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	Fri Apr 30 22:26:52 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