diff -r a171c274bc12 -r 07a87075fa2d config/companion_libs/gmp.in
--- a/config/companion_libs/gmp.in	Tue Aug 30 19:38:10 2011 +0200
+++ b/config/companion_libs/gmp.in	Thu Oct 11 14:39:45 2012 +1000
@@ -8,13 +8,11 @@
 
 config GMP_V_5_0_2
     bool
-    prompt "5.0.2 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "5.0.2"
 
 config GMP_V_5_0_1
     bool
-    prompt "5.0.1 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "5.0.1"
 
 config GMP_V_4_3_2
     bool