diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index d797b719..d2e6b0a6 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -8,8 +8,7 @@ choice
 
 config CLOOG_V_0_15_11
     bool
-    prompt "0.15.11 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.15.11"
     select CLOOG_0_15_1x
 
 config CLOOG_V_0_15_10
diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in
index a968f5a7..608752a6 100644
--- a/config/companion_libs/gmp.in
+++ b/config/companion_libs/gmp.in
@@ -8,13 +8,11 @@ choice
 
 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
diff --git a/config/companion_libs/mpc.in b/config/companion_libs/mpc.in
index 38fc4cba..966fce74 100644
--- a/config/companion_libs/mpc.in
+++ b/config/companion_libs/mpc.in
@@ -8,13 +8,12 @@ choice
 
 config MPC_V_0_9
     bool
-    prompt "0.9 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.9"
 
 config MPC_V_0_8_2
     bool
-    prompt "0.8.2 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.8.2"
+
 
 config MPC_V_0_8_1
     bool
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in
index f4e39bc0..ae01a8d0 100644
--- a/config/companion_libs/mpfr.in
+++ b/config/companion_libs/mpfr.in
@@ -8,13 +8,11 @@ choice
 
 config MPFR_V_3_1_0
     bool
-    prompt "3.1.0 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "3.1.0"
 
 config MPFR_V_3_0_1
     bool
-    prompt "3.0.1 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "3.0.1"
 
 config MPFR_V_3_0_0
     bool
diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in
index c641a882..a6d4f70a 100644
--- a/config/companion_libs/ppl.in
+++ b/config/companion_libs/ppl.in
@@ -8,20 +8,17 @@ choice
 
 config PPL_V_0_11_2
     bool
-    prompt "0.11.2 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11.2"
     select PPL_0_11
 
 config PPL_V_0_11_1
     bool
-    prompt "0.11.1 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11.1"
     select PPL_0_11
 
 config PPL_V_0_11
     bool
-    prompt "0.11 (EXPERIMENTAL)"
-    depends on EXPERIMENTAL
+    prompt "0.11"
     select PPL_0_11
 
 config PPL_V_0_10_2