# HG changeset patch
# User wenzelm
# Date 1712077822 -7200
# Node ID 09e9819beef62f806defc72f995356092015fb06
# Parent  951c371c1cd96b8f49051e336bce1242dbbe9f69
update to stack-2.15.5, stackage-lts-22.15;

diff -r 951c371c1cd9 -r 09e9819beef6 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Apr 02 18:29:14 2024 +0200
+++ b/Admin/components/components.sha1	Tue Apr 02 19:10:22 2024 +0200
@@ -511,6 +511,7 @@
 423df2c437f7cceac1d269da8e379507feb246ef stack-2.13.1.tar.gz
 fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
 6fd65aac9147ba93fa3356fa629f6911d82d767b stack-2.15.3.tar.gz
+937a061f638823805ebc561b22465198f0ff1670 stack-2.15.5.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 951c371c1cd9 -r 09e9819beef6 Admin/components/main
--- a/Admin/components/main	Tue Apr 02 18:29:14 2024 +0200
+++ b/Admin/components/main	Tue Apr 02 19:10:22 2024 +0200
@@ -34,7 +34,7 @@
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-3.45.2.0
-stack-2.15.3
+stack-2.15.5
 vampire-4.8
 verit-2021.06.2-rmx-1
 vscode_extension-20230206
diff -r 951c371c1cd9 -r 09e9819beef6 etc/settings
--- a/etc/settings	Tue Apr 02 18:29:14 2024 +0200
+++ b/etc/settings	Tue Apr 02 19:10:22 2024 +0200
@@ -173,7 +173,7 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-22.13"
+ISABELLE_STACK_RESOLVER="lts-22.15"
 
 ISABELLE_GHC_VERSION="ghc-9.6.4"
 
diff -r 951c371c1cd9 -r 09e9819beef6 src/Pure/Admin/component_stack.scala
--- a/src/Pure/Admin/component_stack.scala	Tue Apr 02 18:29:14 2024 +0200
+++ b/src/Pure/Admin/component_stack.scala	Tue Apr 02 19:10:22 2024 +0200
@@ -29,7 +29,7 @@
   /* build stack */
 
   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
-  val default_version = "2.15.3"
+  val default_version = "2.15.5"
 
   def build_stack(
     base_url: String = default_url,