--- a/Admin/components/main Sat Nov 21 21:02:38 2020 +0100
+++ b/Admin/components/main Sun Nov 22 13:11:40 2020 +0100
@@ -2,7 +2,7 @@
bash_process-1.2.3-1
bib2xhtml-20190409
csdp-6.1.1
-cvc4-1.5-5
+cvc4-1.8
e-2.5-1
isabelle_fonts-20190717
jdk-11.0.9+11