# HG changeset patch
# User wenzelm
# Date 1675604485 -3600
# Node ID 014c3d00e0f11ec8986f7143f9ee8b28322cb5fa
# Parent  198697983eec36bd03ad3695e433f99ba38f1d5c
update to polyml-5e9c8155ea96, which is more robust on arm64;

diff -r 198697983eec -r 014c3d00e0f1 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Feb 05 13:57:27 2023 +0100
+++ b/Admin/components/components.sha1	Sun Feb 05 14:41:25 2023 +0100
@@ -370,6 +370,7 @@
 5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
 7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
 0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
+f399ab9ee4a586fddeb6e73ca3605af65a89f969 polyml-5e9c8155ea96.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb polyml-test-1236652ebd55.tar.gz
 8e83fb5088cf265902b8da753a8eac5fe3f6a14b polyml-test-159dc81efc3b.tar.gz
diff -r 198697983eec -r 014c3d00e0f1 Admin/components/main
--- a/Admin/components/main	Sun Feb 05 13:57:27 2023 +0100
+++ b/Admin/components/main	Sun Feb 05 14:41:25 2023 +0100
@@ -25,7 +25,7 @@
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
-polyml-test-bafe319bc3a6-1
+polyml-5e9c8155ea96
 postgresql-42.5.0
 prismjs-1.29.0
 scala-3.2.0-2