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.
conservative update to stackage lts-22.15 and ghc-9.6.6;
authorwenzelm
Sat, 25 Jan 2025 22:04:07 +0100
changeset 81978 d9cd12d0c5db
parent 81977 2947ba9c56f7
child 81979 40a2bd73dceb
conservative update to stackage lts-22.15 and ghc-9.6.6;
etc/settings file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Jan 25 21:29:27 2025 +0100
+++ b/etc/settings	Sat Jan 25 22:04:07 2025 +0100
@@ -173,9 +173,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-22.15"
+ISABELLE_STACK_RESOLVER="lts-22.43"
 
-ISABELLE_GHC_VERSION="ghc-9.6.4"
+ISABELLE_GHC_VERSION="ghc-9.6.6"
 
 
 ###
--- a/src/Pure/ROOT.ML	Sat Jan 25 21:29:27 2025 +0100
+++ b/src/Pure/ROOT.ML	Sat Jan 25 22:04:07 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       d6fc404b-eeef-4ad0-964d-14b9310ea78f
+    UUID:       7d82dfae-8363-4f59-8191-7a6e1a7cdbc9
 
 Main entry point for the Isabelle/Pure bootstrap process.
isabelle