--- 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
--- 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
--- 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)