diff -r 30e9ff9be90a -r 4f2fb9adfae5 Admin/components/main
--- a/Admin/components/main	Sat Feb 13 19:52:56 2016 +0100
+++ b/Admin/components/main	Sat Feb 13 20:01:48 2016 +0100
@@ -1,8 +1,8 @@
 #main components for everyday use, without big impact on overall build time
+bash_process-1.1
 csdp-6.x
 cvc4-1.5pre-3
 e-1.8
-exec_process-1.0.3
 Haskabelle-2015
 isabelle_fonts-20160102
 jdk-8u72