--- a/etc/settings Sun Jul 25 12:43:07 2021 +0200
+++ b/etc/settings Sun Jul 25 14:46:08 2021 +0200
@@ -154,7 +154,7 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-17.10"
+ISABELLE_STACK_RESOLVER="lts-17.15"
ISABELLE_GHC_VERSION="ghc-8.10.4"