1.1 --- a/config/companion_libs/cloog.in	Sat Jan 28 16:50:45 2012 +0100
     1.2 +++ b/config/companion_libs/cloog.in	Fri Jan 27 13:13:00 2012 +0100
     1.3 @@ -45,9 +45,6 @@
     1.4      default "0.15.8" if CLOOG_V_0_15_8
     1.5      default "0.15.7" if CLOOG_V_0_15_7
     1.6      default "0.15.6" if CLOOG_V_0_15_6
     1.7 -    default "0.15.5" if CLOOG_V_0_15_5
     1.8 -    default "0.15.4" if CLOOG_V_0_15_4
     1.9 -    default "0.15.3" if CLOOG_V_0_15_3
    1.10  
    1.11  config CLOOG_0_15_1x
    1.12      bool