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,