Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update NEWS, following ea1913c953ef;
authorwenzelm
Thu, 29 Feb 2024 16:59:47 +0100
changeset 79747 023b34159050
parent 79746 71dce74a456e
child 79748 e84b480e90e4
update NEWS, following ea1913c953ef;
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle