diff -r 5182fa901f30 -r 91a52bc04af9 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	Sun Nov 11 21:42:47 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