etc/settings

--- a/etc/settings	Sat Jan 25 21:29:27 2025 +0100
+++ b/etc/settings	Sat Jan 25 22:04:07 2025 +0100
@@ -173,9 +173,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-22.15"
+ISABELLE_STACK_RESOLVER="lts-22.43"
 
-ISABELLE_GHC_VERSION="ghc-9.6.4"
+ISABELLE_GHC_VERSION="ghc-9.6.6"
 
 
 ###