--- a/Admin/components/components.sha1 Sat Nov 21 21:02:38 2020 +0100
+++ b/Admin/components/components.sha1 Sun Nov 22 13:11:40 2020 +0100
@@ -34,6 +34,7 @@
b01fdb93f2dc2b8bcfd41c6091d91b37d6e240f9 cvc4-1.5pre-3.tar.gz
76ff6103b8560f0e2778bbfbdb05f5fa18f850b7 cvc4-1.5pre-4.tar.gz
03aec2ec5757301c9df149f115d1f4f1d2cafd9e cvc4-1.5pre.tar.gz
+e99560d0b7cb9bafde2b0ec1a3a95af315918a25 cvc4-1.8.tar.gz
842d9526f37b928cf9e22f141884365129990d63 cygwin-20130110.tar.gz
cb3b0706d208f104b800267697204f6d82f7b48a cygwin-20130114.tar.gz
3b44cca04855016d5f8cfb5101b2e0579ab80197 cygwin-20130117.tar.gz
--- 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
--- a/NEWS Sat Nov 21 21:02:38 2020 +0100
+++ b/NEWS Sun Nov 22 13:11:40 2020 +0100
@@ -210,7 +210,7 @@
*** System ***
* Update/rebuild external provers on currently supported OS platforms,
-notably E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
+notably CVC4 1.8, E prover 2.5, SPASS 3.8ds, CSDP 6.1.1.
* Discontinued obsolete isabelle display tool, and DVI_VIEWER settings
variable.