Admin/components/main
changeset 66686 4f73201b8043
parent 66685 1b397be63e68
child 66691 a8703e8ee1d3
--- a/Admin/components/main	Fri Sep 22 13:07:11 2017 -0300
+++ b/Admin/components/main	Sat Sep 23 13:31:32 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-2
+cvc4-1.5-3
 e-2.0-1
 isabelle_fonts-20160830
 jdk-8u144