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