diff -r 7995942261f2 -r aab8f20f3795 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Mon May 25 19:46:58 2009 +0000
+++ b/config/companion_libs/cloog.in	Mon Sep 07 22:03:06 2009 +0200
@@ -8,6 +8,22 @@
     bool
     prompt "0.15.3"
 
+config CLOOG_V_0_15_4
+    bool
+    prompt "0.15.4"
+
+config CLOOG_V_0_15_5
+    bool
+    prompt "0.15.5"
+
+config CLOOG_V_0_15_6
+    bool
+    prompt "0.15.6"
+
+config CLOOG_V_0_15_7
+    bool
+    prompt "0.15.7"
+
 # CT_INSERT_VERSION_ABOVE
 # Don't remove above line!
 endchoice
@@ -15,5 +31,9 @@
 config CLOOG_VERSION
     string
     default "0.15.3" if CLOOG_V_0_15_3
+    default "0.15.4" if CLOOG_V_0_15_4
+    default "0.15.5" if CLOOG_V_0_15_5
+    default "0.15.6" if CLOOG_V_0_15_6
+    default "0.15.7" if CLOOG_V_0_15_7
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!