--- a/etc/settings Sun Jan 24 16:37:46 2021 +0100
+++ b/etc/settings Sun Jan 24 16:38:00 2021 +0100
@@ -159,7 +159,7 @@
ISABELLE_STACK_ROOT="$USER_HOME/.stack"
-ISABELLE_STACK_RESOLVER="lts-16.12"
+ISABELLE_STACK_RESOLVER="lts-16.31"
ISABELLE_GHC_VERSION="ghc-8.8.4"