summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/companion_libs/cloog.in15
1 files changed, 0 insertions, 15 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index df29853..6282997 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -26,21 +26,6 @@ config CLOOG_V_0_15_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