--- 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
--- 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
--- 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"
--- 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,