diff -r 5182fa901f30 -r 9f6e46b6dc42 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	Tue Oct 30 00:23:51 2012 +0100
@@ -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