diff -r a171c274bc12 -r 91a52bc04af9 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	Sun Nov 11 21:42:47 2012 +0100
@@ -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