diff -r 4714cf419e98 -r e612e57b4249 config/gmp_mpfr/mpfr.in
--- a/config/gmp_mpfr/mpfr.in	Mon Feb 02 21:09:42 2009 +0000
+++ b/config/gmp_mpfr/mpfr.in	Sun Mar 08 17:27:02 2009 +0000
@@ -14,8 +14,11 @@
 
 config MPFR_V_2_4_0
     bool
-    prompt "2.4.0  (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "2.4.0"
+
+config MPFR_V_2_4_1
+    bool
+    prompt "2.4.1"
 
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
@@ -26,6 +29,7 @@
     default "2.3.1" if MPFR_V_2_3_1
     default "2.3.2" if MPFR_V_2_3_2
     default "2.4.0" if MPFR_V_2_4_0
+    default "2.4.1" if MPFR_V_2_4_1
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!