# HG changeset patch
# User wenzelm
# Date 1697307008 -7200
# Node ID e5b2574f6462e6bfd4bc071bf011e7c51ede9226
# Parent  99ff760cf63a1b584b43bff4fa52451a3e3dc120
proper options for macOS 11 Big Sur;

diff -r 99ff760cf63a -r e5b2574f6462 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Sat Oct 14 15:26:39 2023 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sat Oct 14 20:10:08 2023 +0200
@@ -160,7 +160,7 @@
   val default_polyml_name = "polyml-5.9.1"
 
   val default_sha1_url = "https://isabelle.sketis.net/repos/sha1/archive"
-  val default_sha1_version = "e0239faa6f42"
+  val default_sha1_version = "0ce12663fe76"
 
   private def init_src_root(src_dir: Path, input: String, output: String): Unit = {
     val lines = split_lines(File.read(src_dir + Path.explode(input)))