diff -r f04fb2d52023 -r a4c4e51aa541 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	Mon Mar 29 20:24:50 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