# HG changeset patch
# User wenzelm
# Date 1736850857 -3600
# Node ID 7a858ff1c978f88db3d89a8b75427ee2271e20bd
# Parent  40f979c845b7d68f06b201ef7cb7428792a5e7ea
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;

diff -r 40f979c845b7 -r 7a858ff1c978 etc/settings
--- a/etc/settings	Mon Jan 13 21:17:40 2025 +0100
+++ b/etc/settings	Tue Jan 14 11:34:17 2025 +0100
@@ -164,7 +164,7 @@
 
 ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
 
-ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.12.0"
+ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.14.1"
 
 
 ###
diff -r 40f979c845b7 -r 7a858ff1c978 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Jan 13 21:17:40 2025 +0100
+++ b/src/Pure/ROOT.ML	Tue Jan 14 11:34:17 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       b5c84e7e-c43b-4cf5-9644-a1f387b61ab4
+    UUID:       e075658d-0c3c-4076-892c-37ce2c40df8e
 
 Main entry point for the Isabelle/Pure bootstrap process.