# HG changeset patch
# User wenzelm
# Date 1665325708 -7200
# Node ID 793171d7800b477c1457e551e26a87aed20cd704
# Parent  4c7e8d01f6b9f81f8c39789fa80fe779c0ffc01d
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);

diff -r 4c7e8d01f6b9 -r 793171d7800b Admin/components/main
--- a/Admin/components/main	Thu Oct 06 20:13:55 2022 +0200
+++ b/Admin/components/main	Sun Oct 09 16:28:28 2022 +0200
@@ -20,7 +20,7 @@
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
-polyml-test-15c840d48c9a
+polyml-test-bafe319bc3a6
 postgresql-42.5.0
 scala-3.2.0
 smbc-0.4.1
diff -r 4c7e8d01f6b9 -r 793171d7800b Admin/polyml/README
--- a/Admin/polyml/README	Thu Oct 06 20:13:55 2022 +0200
+++ b/Admin/polyml/README	Sun Oct 09 16:28:28 2022 +0200
@@ -3,8 +3,8 @@
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 source distribution from
-https://github.com/polyml/polyml/commit/39d96a2def90 (official release
-5.9 with minimal additions fixes-5.9).
+https://github.com/polyml/polyml/commit/bafe319bc3a6 (after official
+version 5.9).
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -55,4 +55,4 @@
 
 
         Makarius
-        26-Nov-2021
+        09-Oct-2022