diff -r 715544fc2fe9 -r 1bd55a223113 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sat Oct 23 23:21:36 2010 +0200
+++ b/config/companion_libs/cloog.in	Fri Dec 31 00:16:19 2010 +0100
@@ -26,21 +26,6 @@
     bool
     prompt "0.15.6"
 
-config CLOOG_V_0_15_5
-    bool
-    prompt "0.15.5 (OBSOLETE)"
-    depends on OBSOLETE
-
-config CLOOG_V_0_15_4
-    bool
-    prompt "0.15.4 (OBSOLETE)"
-    depends on OBSOLETE
-
-config CLOOG_V_0_15_3
-    bool
-    prompt "0.15.3 (OBSOLETE)"
-    depends on OBSOLETE
-
 endchoice
 
 config CLOOG_VERSION