diff -r 3976adc582fb -r a8bf927f6e37 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	Tue Nov 06 17:02:06 2012 +0100
@@ -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