diff -r a171c274bc12 -r d48c03998dc1 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	Tue May 08 18:31:10 2012 +0200
@@ -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