diff -r 47199f966983 -r 5182fa901f30 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sun Oct 16 15:10:29 2011 +0200
+++ b/config/companion_libs/cloog.in	Fri Jan 27 13:13:00 2012 +0100
@@ -45,9 +45,6 @@
     default "0.15.8" if CLOOG_V_0_15_8
     default "0.15.7" if CLOOG_V_0_15_7
     default "0.15.6" if CLOOG_V_0_15_6
-    default "0.15.5" if CLOOG_V_0_15_5
-    default "0.15.4" if CLOOG_V_0_15_4
-    default "0.15.3" if CLOOG_V_0_15_3
 
 config CLOOG_0_15_1x
     bool