# HG changeset patch
# User wenzelm
# Date 1709222387 -3600
# Node ID 023b341590507e2aca60198030c7858128674e7f
# Parent  71dce74a456e6d7d8debf5c2a19382b07f8d5d3f
update NEWS, following ea1913c953ef;

diff -r 71dce74a456e -r 023b34159050 NEWS
--- a/NEWS	Thu Feb 29 16:57:09 2024 +0100
+++ b/NEWS	Thu Feb 29 16:59:47 2024 +0100
@@ -159,8 +159,8 @@
 
 * Update to OpenJDK 21: the current long-term support version of Java.
 
-* Update to GHC stack 2.13.1 with support for all platforms, including
-Apple Silicon.
+* Update to GHC stack 2.15.1 with support for all platforms, including
+ARM Linux and Apple Silicon.
 
 * No longer support for very old versions of macOS and Linux: base-line
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.