--- a/Admin/components/components.sha1 Mon Mar 25 20:05:40 2024 +0100
+++ b/Admin/components/components.sha1 Mon Mar 25 20:22:05 2024 +0100
@@ -506,6 +506,7 @@
f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
423df2c437f7cceac1d269da8e379507feb246ef stack-2.13.1.tar.gz
fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
+6fd65aac9147ba93fa3356fa629f6911d82d767b stack-2.15.3.tar.gz
ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.tar.gz
18437bc9abd5b95be31a96f7c15a85a3ebf466cf stack-2.9.3.tar.gz
--- a/Admin/components/main Mon Mar 25 20:05:40 2024 +0100
+++ b/Admin/components/main Mon Mar 25 20:22:05 2024 +0100
@@ -34,7 +34,7 @@
smbc-0.4.1
spass-3.8ds-2
sqlite-3.45.2.0
-stack-2.15.1
+stack-2.15.3
vampire-4.8
verit-2021.06.2-rmx-1
vscode_extension-20230206
--- a/etc/settings Mon Mar 25 20:05:40 2024 +0100
+++ b/etc/settings Mon Mar 25 20:22:05 2024 +0100
@@ -173,9 +173,9 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-22.6"
+ISABELLE_STACK_RESOLVER="lts-22.13"
-ISABELLE_GHC_VERSION="ghc-9.6.3"
+ISABELLE_GHC_VERSION="ghc-9.6.4"
###
--- a/src/Pure/Admin/component_stack.scala Mon Mar 25 20:05:40 2024 +0100
+++ b/src/Pure/Admin/component_stack.scala Mon Mar 25 20:22:05 2024 +0100
@@ -29,7 +29,7 @@
/* build stack */
val default_url = "https://github.com/commercialhaskell/stack/releases/download"
- val default_version = "2.15.1"
+ val default_version = "2.15.3"
def build_stack(
base_url: String = default_url,