--- a/Admin/components/main Wed Aug 23 22:05:53 2017 +0200
+++ b/Admin/components/main Thu Aug 24 10:47:56 2017 +0200
@@ -1,7 +1,7 @@
#main components for everyday use, without big impact on overall build time
bash_process-1.2.1
csdp-6.x
-cvc4-1.5
+cvc4-1.5-1
e-2.0
isabelle_fonts-20160830
jdk-8u144