diff -r 593917a7ad02 -r 00bf84d3f526 Admin/components/main
--- a/Admin/components/main	Mon Sep 22 16:28:24 2014 +0200
+++ b/Admin/components/main	Mon Sep 22 17:07:18 2014 +0200
@@ -1,5 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 cvc3-2.4.1
+csdp-6.x
 e-1.8
 exec_process-1.0.3
 Haskabelle-2014