diff -r a171c274bc12 -r 3e2f2100a76d 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	Wed May 02 21:09:29 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