--- a/Admin/components/main Wed Mar 09 19:52:17 2016 +0100
+++ b/Admin/components/main Wed Mar 09 20:11:25 2016 +0100
@@ -1,5 +1,5 @@
#main components for everyday use, without big impact on overall build time
-bash_process-1.2
+bash_process-1.2.1
csdp-6.x
cvc4-1.5pre-3
e-1.8