# HG changeset patch # User wenzelm # Date 1633197602 -7200 # Node ID b618749bb8f4147a1d6ef46ac5652cb913f6cfbf # Parent ff0ca375457cad766c44d48479bcce26ad99b3b5 updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7; diff -r ff0ca375457c -r b618749bb8f4 etc/settings --- a/etc/settings Sat Oct 02 19:28:47 2021 +0200 +++ b/etc/settings Sat Oct 02 20:00:02 2021 +0200 @@ -154,9 +154,9 @@ ISABELLE_STACK_ROOT="$USER_HOME/.stack" -ISABELLE_STACK_RESOLVER="lts-17.10" +ISABELLE_STACK_RESOLVER="lts-18.12" -ISABELLE_GHC_VERSION="ghc-8.10.4" +ISABELLE_GHC_VERSION="ghc-8.10.7" ###