changeset 79991 | 99511fa536a1 |
parent 79951 | 84f2d481d6d7 |
child 80006 | d89685d3d306 |
--- a/etc/settings Mon Mar 25 20:05:40 2024 +0100 +++ b/etc/settings Mon Mar 25 20:22:05 2024 +0100 @@ -173,9 +173,9 @@ ISABELLE_STACK_ROOT="$USER_HOME/.stack" -ISABELLE_STACK_RESOLVER="lts-22.6" +ISABELLE_STACK_RESOLVER="lts-22.13" -ISABELLE_GHC_VERSION="ghc-9.6.3" +ISABELLE_GHC_VERSION="ghc-9.6.4" ###