# HG changeset patch
# User wenzelm
# Date 1689081327 -7200
# Node ID 27521a4779bdb4ebfa112c1bb5201a08ed582536
# Parent  9776f5278ae8076ea326888b6f109dab88d43298
update to stack-2.9.3 with support for arm64-linux;

diff -r 9776f5278ae8 -r 27521a4779bd Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Jul 11 15:01:38 2023 +0200
+++ b/Admin/components/components.sha1	Tue Jul 11 15:15:27 2023 +0200
@@ -478,6 +478,7 @@
 f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
 ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
 fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.tar.gz
+18437bc9abd5b95be31a96f7c15a85a3ebf466cf stack-2.9.3.tar.gz
 1f4a2053cc1f34fa36c4d9d2ac906ad4ebc863fd sumatra_pdf-2.1.1.tar.gz
 601e08d048d8e50b0729429c8928b667d9b6bde9 sumatra_pdf-2.3.2.tar.gz
 14d46c2eb1a34821703da59d543433f581e91df3 sumatra_pdf-2.4.tar.gz
diff -r 9776f5278ae8 -r 27521a4779bd Admin/components/main
--- a/Admin/components/main	Tue Jul 11 15:01:38 2023 +0200
+++ b/Admin/components/main	Tue Jul 11 15:15:27 2023 +0200
@@ -33,7 +33,7 @@
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.42.0.0
-stack-2.7.3
+stack-2.9.3
 vampire-4.6
 verit-2021.06.2-rmx
 vscode_extension-20230206
diff -r 9776f5278ae8 -r 27521a4779bd NEWS
--- a/NEWS	Tue Jul 11 15:01:38 2023 +0200
+++ b/NEWS	Tue Jul 11 15:15:27 2023 +0200
@@ -459,6 +459,8 @@
 * File.set_executable in Isabelle/Scala has changed its mandatory "flag"
 to optional "reset", which opposite polarity. INCOMPATIBILITY.
 
+* Update to GHC stack 2.9.3 with support for arm64-linux.
+
 
 
 New in Isabelle2022 (October 2022)