# HG changeset patch
# User wenzelm
# Date 1637084702 -3600
# Node ID 796ae338eb9dc9467b6df8a554629e3de7a1b44b
# Parent  5eac4b13d1f158a8968f0595cc23a7c5367f031d
back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834);

diff -r 5eac4b13d1f1 -r 796ae338eb9d Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Nov 16 17:57:52 2021 +0100
+++ b/Admin/components/components.sha1	Tue Nov 16 18:45:02 2021 +0100
@@ -460,6 +460,7 @@
 86e721296c400ada440e4a9ce11b9e845eec9e25  z3-4.3.0.tar.gz
 a8917c31b31c182edeec0aaa48870844960c8a61  z3-4.3.2pre-1.tar.gz
 06b30757ff23aefbc30479785c212685ffd39f4d  z3-4.3.2pre.tar.gz
+ed37c451b9b748901295898bf713b24d22cc8c17  z3-4.4.0_4.4.1.tar.gz
 93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8  z3-4.4.0pre-1.tar.gz
 b1bc411c2083fc01577070b56b94514676f53854  z3-4.4.0pre-2.tar.gz
 4c366ab255d2e9343fb635d44d4d55ddd24c76d0  z3-4.4.0pre-3.tar.gz
diff -r 5eac4b13d1f1 -r 796ae338eb9d Admin/components/main
--- a/Admin/components/main	Tue Nov 16 17:57:52 2021 +0100
+++ b/Admin/components/main	Tue Nov 16 18:45:02 2021 +0100
@@ -28,5 +28,5 @@
 vampire-4.6
 verit-2021.06.1-rmx
 xz-java-1.9
-z3-4.4.1
+z3-4.4.0_4.4.1
 zipperposition-2.1-1
diff -r 5eac4b13d1f1 -r 796ae338eb9d NEWS
--- a/NEWS	Tue Nov 16 17:57:52 2021 +0100
+++ b/NEWS	Tue Nov 16 18:45:02 2021 +0100
@@ -201,11 +201,12 @@
 
 * Sledgehammer:
   - Update of bundled provers:
-      E 2.6
-      Vampire 4.6 (with Open Source license)
-      veriT 2021.06-rmx
-      Zipperposition 2.1
-      Z3 4.4.1
+      . E 2.6
+      . Vampire 4.6 (with Open Source license)
+      . veriT 2021.06-rmx
+      . Zipperposition 2.1
+      . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre,
+        but sometimes failes or crashes
   - Adjusted default provers:
       cvc4 vampire verit e spass z3 zipperposition
   - Adjusted Zipperposition's slicing.