# HG changeset patch
# User wenzelm
# Date 1611502680 -3600
# Node ID 14f8db6746cbae627fa6c235101336ad45c6e4df
# Parent  f9c71ce29150275836fa7e9d1ad5aa72da4b570f
follow stackage update;

diff -r f9c71ce29150 -r 14f8db6746cb etc/settings
--- 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"