--- 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)))