# HG changeset patch
# User wenzelm
# Date 1737836967 -3600
# Node ID 2947ba9c56f75485fb735804a863a35e566e4d12
# Parent  d6906956ba341322e81074dc1907e16bbbbe19e3
conservative update to stack-2.15.7;

diff -r d6906956ba34 -r 2947ba9c56f7 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Jan 24 21:24:42 2025 +0000
+++ b/Admin/components/components.sha1	Sat Jan 25 21:29:27 2025 +0100
@@ -540,6 +540,7 @@
 fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
 6fd65aac9147ba93fa3356fa629f6911d82d767b stack-2.15.3.tar.gz
 937a061f638823805ebc561b22465198f0ff1670 stack-2.15.5.tar.gz
+80064400c20b0cf7c05d66686e1433bd602dfafc stack-2.15.7.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 d6906956ba34 -r 2947ba9c56f7 Admin/components/main
--- a/Admin/components/main	Fri Jan 24 21:24:42 2025 +0000
+++ b/Admin/components/main	Sat Jan 25 21:29:27 2025 +0100
@@ -36,7 +36,7 @@
 solr-9.7.0-1
 spass-3.8ds-2
 sqlite-3.48.0.0
-stack-2.15.5
+stack-2.15.7
 vampire-4.8
 verit-2021.06.2-rmx-1
 vscode_extension-20241002
diff -r d6906956ba34 -r 2947ba9c56f7 src/Pure/Admin/component_stack.scala
--- a/src/Pure/Admin/component_stack.scala	Fri Jan 24 21:24:42 2025 +0000
+++ b/src/Pure/Admin/component_stack.scala	Sat Jan 25 21:29:27 2025 +0100
@@ -29,7 +29,7 @@
   /* build stack */
 
   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
-  val default_version = "2.15.5"
+  val default_version = "2.15.7"
 
   def build_stack(
     base_url: String = default_url,