diff -r 5182fa901f30 -r ec3c3aa99c79 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	Fri Apr 26 14:30:05 2013 +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