diff -r 9601f5582f33 -r bbda3b4f3c99 NEWS
--- a/NEWS	Thu Jan 30 22:29:45 2025 +0100
+++ b/NEWS	Wed Jan 08 15:19:37 2025 +0100
@@ -245,6 +245,7 @@
 * Sledgehammer:
   - Update of bundled provers:
       . E 3.1 -- with patch on Windows/Cygwin for proper interrupts
+      . cvc5 1.2.0 -- with support for arm64-linux
   - Added instantiations of facts using the "of" attribute
     (e.g. "assms(1)[of x]"), which can be activated using the
     Sledgehammer option "instantiate" (default: smart, i.e. only if