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,