# HG changeset patch
# User wenzelm
# Date 1709758378 -3600
# Node ID 1f7dcfdb3e671a537a49f2092f9227b2f144aeef
# Parent  33c93008db036ef877cc490fef3bf5b25bd85d20
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;

diff -r 33c93008db03 -r 1f7dcfdb3e67 NEWS
--- a/NEWS	Wed Mar 06 17:04:54 2024 +0100
+++ b/NEWS	Wed Mar 06 21:52:58 2024 +0100
@@ -21,7 +21,6 @@
 
   - Z3
   - CVC4
-  - OCaml / OPAM
   - Nunchaku + smbc (experimental)