diff -r 3976adc582fb -r 3e2f2100a76d config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Sun Oct 16 14:38:52 2011 +0200
+++ b/config/companion_libs/mpfr.in	Wed May 02 21:09:29 2012 +0200
@@ -8,13 +8,11 @@
 
 config MPFR_V_3_1_0
     bool
-    prompt "3.1.0 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "3.1.0"
 
 config MPFR_V_3_0_1
     bool
-    prompt "3.0.1 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "3.0.1"
 
 config MPFR_V_3_0_0
     bool