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.
follow stackage update;
authorwenzelm
Sun, 24 Jan 2021 16:38:00 +0100
changeset 73180 14f8db6746cb
parent 73179 f9c71ce29150
child 73181 02422c9add5e
follow stackage update;
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle