--- a/Admin/components/main Sat Feb 13 22:52:41 2016 +0100
+++ b/Admin/components/main Sat Feb 13 23:59:35 2016 +0100
@@ -1,5 +1,5 @@
#main components for everyday use, without big impact on overall build time
-bash_process-1.1
+bash_process-1.1.1
csdp-6.x
cvc4-1.5pre-3
e-1.8