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"