# HG changeset patch
# User wenzelm
# Date 1709154671 -3600
# Node ID ea1913c953efaf026e0020e2573bdb89c91749aa
# Parent  407f201b7f22c401634b21ae76ad6f92608c4338
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;

diff -r 407f201b7f22 -r ea1913c953ef Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Feb 27 17:06:42 2024 +0100
+++ b/Admin/components/components.sha1	Wed Feb 28 22:11:11 2024 +0100
@@ -495,6 +495,7 @@
 6e19948ff4a821e2052fc9b3ddd9ae343f4fcdbb stack-1.9.3.tar.gz
 f969443705aa8619e93af5b34ea98d15cd7efaf1 stack-2.1.3.tar.gz
 423df2c437f7cceac1d269da8e379507feb246ef stack-2.13.1.tar.gz
+fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
 ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
 fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.tar.gz
 18437bc9abd5b95be31a96f7c15a85a3ebf466cf stack-2.9.3.tar.gz
diff -r 407f201b7f22 -r ea1913c953ef Admin/components/main
--- a/Admin/components/main	Tue Feb 27 17:06:42 2024 +0100
+++ b/Admin/components/main	Wed Feb 28 22:11:11 2024 +0100
@@ -34,7 +34,7 @@
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.45.0.0
-stack-2.13.1
+stack-2.15.1
 vampire-4.8
 verit-2021.06.2-rmx-1
 vscode_extension-20230206
diff -r 407f201b7f22 -r ea1913c953ef etc/settings
--- a/etc/settings	Tue Feb 27 17:06:42 2024 +0100
+++ b/etc/settings	Wed Feb 28 22:11:11 2024 +0100
@@ -173,9 +173,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-21.15"
+ISABELLE_STACK_RESOLVER="lts-22.6"
 
-ISABELLE_GHC_VERSION="ghc-9.4.7"
+ISABELLE_GHC_VERSION="ghc-9.6.3"
 
 
 ###
diff -r 407f201b7f22 -r ea1913c953ef src/Pure/Admin/component_stack.scala
--- a/src/Pure/Admin/component_stack.scala	Tue Feb 27 17:06:42 2024 +0100
+++ b/src/Pure/Admin/component_stack.scala	Wed Feb 28 22:11:11 2024 +0100
@@ -29,7 +29,7 @@
   /* build stack */
 
   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
-  val default_version = "2.13.1"
+  val default_version = "2.15.1"
 
   def build_stack(
     base_url: String = default_url,