diff -r 5182fa901f30 -r 57182f437da8 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	Wed May 02 21:09:29 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