diff -r 073d351bdcd3 -r 30d91bfc1f2a config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sun Sep 13 18:38:06 2009 +0200
+++ b/config/companion_libs/cloog.in	Fri Jan 29 22:43:28 2010 +0100
@@ -16,15 +16,18 @@
 
 config CLOOG_V_0_15_5
     bool
-    prompt "0.15.5"
+    prompt "0.15.5 (OBSOLETE)"
+    depends on OBSOLETE
 
 config CLOOG_V_0_15_4
     bool
-    prompt "0.15.4"
+    prompt "0.15.4 (OBSOLETE)"
+    depends on OBSOLETE
 
 config CLOOG_V_0_15_3
     bool
-    prompt "0.15.3"
+    prompt "0.15.3 (OBSOLETE)"
+    depends on OBSOLETE
 
 endchoice