Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
authorwenzelm
Sat, 02 Oct 2021 20:00:02 +0200
changeset 74420 b618749bb8f4
parent 74419 ff0ca375457c
child 74421 7fd8fb6149a6
child 74422 5294a44efc49
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
 
 
 ###
isabelle