--- a/Admin/components/main Sat May 09 14:10:10 2015 +0200
+++ b/Admin/components/main Sat May 09 10:06:14 2015 +0200
@@ -1,6 +1,6 @@
#main components for everyday use, without big impact on overall build time
csdp-6.x
-cvc4-1.5pre-1
+cvc4-1.5pre-2
e-1.8
exec_process-1.0.3
Haskabelle-2014