# HG changeset patch
# User wenzelm
# Date 1711396090 -3600
# Node ID 2dcbf5cbc7a11c23ab0fe5a3b82fa2f52741f6cb
# Parent  205bad84a1bd7f4dd4fc7bf3d5b03af2c45b28e1
MLton lacks arm64-linux (see also 84f2d481d6d7);

diff -r 205bad84a1bd -r 2dcbf5cbc7a1 NEWS
--- a/NEWS	Mon Mar 25 20:42:10 2024 +0100
+++ b/NEWS	Mon Mar 25 20:48:10 2024 +0100
@@ -21,6 +21,7 @@
 
   - Z3
   - CVC4
+  - MLton
   - Nunchaku + smbc (experimental)