# HG changeset patch
# User wenzelm
# Date 1762258806 -3600
# Node ID 37608f78c44d9c7d6bd8e7a98bed894cc377991b
# Parent  3f8416014245e51481e69801674e746a55524768
minor update of GHC Stack, following Naproche (newer versions cause problems with "ftlex" vs. "base");

diff -r 3f8416014245 -r 37608f78c44d etc/settings
--- a/etc/settings	Tue Nov 04 12:43:15 2025 +0100
+++ b/etc/settings	Tue Nov 04 13:20:06 2025 +0100
@@ -174,9 +174,9 @@
 
 ISABELLE_STACK_ROOT="$USER_HOME/.stack"
 
-ISABELLE_STACK_RESOLVER="lts-22.43"
+ISABELLE_STACK_RESOLVER="lts-22.44"
 
-ISABELLE_GHC_VERSION="ghc-9.6.6"
+ISABELLE_GHC_VERSION="ghc-9.6.7"
 
 
 ###
diff -r 3f8416014245 -r 37608f78c44d src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Tue Nov 04 12:43:15 2025 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Tue Nov 04 13:20:06 2025 +0100
@@ -1,5 +1,6 @@
 (*  Title:      Tools/Haskell/Haskell.thy
     Author:     Makarius
+    UUID:       0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3
 
 Support for Isabelle tools in Haskell.
 *)