# HG changeset patch
# User wenzelm
# Date 1606047100 -3600
# Node ID dcc0022f01799fab7c99905b5f857ddb30ac5e75
# Parent  b5e6f0d137a7849966a678a6c2e7c5b812239eba
updated to cvc4-1.8;

diff -r b5e6f0d137a7 -r dcc0022f0179 Admin/components/components.sha1
--- 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
diff -r b5e6f0d137a7 -r dcc0022f0179 Admin/components/main
--- 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
diff -r b5e6f0d137a7 -r dcc0022f0179 NEWS
--- 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.