diff -r 5182fa901f30 -r 4ccfca658d9b config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Fri Jan 27 13:13:00 2012 +0100
+++ b/config/companion_libs/cloog.in	Sat Jul 14 18:25:47 2012 +0200
@@ -8,8 +8,7 @@
 
 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