Admin/components/main
changeset 66685 1b397be63e68
parent 66636 6585669c33dc
child 66686 4f73201b8043
--- a/Admin/components/main	Thu Sep 21 15:37:01 2017 +0200
+++ b/Admin/components/main	Fri Sep 22 13:07:11 2017 -0300
@@ -1,8 +1,8 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.1
 csdp-6.x
-cvc4-1.5-1
-e-2.0
+cvc4-1.5-2
+e-2.0-1
 isabelle_fonts-20160830
 jdk-8u144
 jedit_build-20170319