# HG changeset patch # User wenzelm # Date 1637084731 -3600 # Node ID 1c2863734db1a968097ab83b35a959877e9fb9f1 # Parent 796ae338eb9dc9467b6df8a554629e3de7a1b44b proper version; diff -r 796ae338eb9d -r 1c2863734db1 NEWS --- a/NEWS Tue Nov 16 18:45:02 2021 +0100 +++ b/NEWS Tue Nov 16 18:45:31 2021 +0100 @@ -203,7 +203,7 @@ - Update of bundled provers: . E 2.6 . Vampire 4.6 (with Open Source license) - . veriT 2021.06-rmx + . veriT 2021.06.1-rmx . Zipperposition 2.1 . Z3 4.4.1 for arm64-linux, which approximates Z3 4.4.0pre, but sometimes failes or crashes