# HG changeset patch
# User wenzelm
# Date 1737839047 -3600
# Node ID d9cd12d0c5db4fe1e434866046314a90de0b63a6
# Parent  2947ba9c56f75485fb735804a863a35e566e4d12
conservative update to stackage lts-22.15 and ghc-9.6.6;

diff -r 2947ba9c56f7 -r d9cd12d0c5db etc/settings
--- 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"
 
 
 ###
diff -r 2947ba9c56f7 -r d9cd12d0c5db src/Pure/ROOT.ML
--- 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.