# HG changeset patch
# User wenzelm
# Date 1691358290 -7200
# Node ID 5683e49f7884acd8af65a0e7f5cad179e1f2822d
# Parent  ebad10ab63e184f0bfff42dab41e5fc10269983c
update to polyml-219e0a248f70, with more robust support for ARM64;

diff -r ebad10ab63e1 -r 5683e49f7884 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Aug 06 22:40:12 2023 +0200
+++ b/Admin/components/components.sha1	Sun Aug 06 23:44:50 2023 +0200
@@ -330,6 +330,7 @@
 108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.tar.gz
 f8d0218371457eabe2b4214427d9570de92ed861 pdfjs-2.12.313.tar.gz
 aa7fc4a3d2cbd6c8744ddfeefd863828ea602bcd pdfjs-2.14.305.tar.gz
+1b01278595b6dbd5c867dc55407b1ac705bc43b8 polyml-219e0a248f70.tar.gz
 1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
 a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
 7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz
diff -r ebad10ab63e1 -r 5683e49f7884 Admin/components/main
--- a/Admin/components/main	Sun Aug 06 22:40:12 2023 +0200
+++ b/Admin/components/main	Sun Aug 06 23:44:50 2023 +0200
@@ -25,7 +25,7 @@
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
-polyml-a5d5fba90286
+polyml-219e0a248f70
 postgresql-42.6.0
 prismjs-1.29.0
 rsync-3.2.7
diff -r ebad10ab63e1 -r 5683e49f7884 NEWS
--- a/NEWS	Sun Aug 06 22:40:12 2023 +0200
+++ b/NEWS	Sun Aug 06 23:44:50 2023 +0200
@@ -492,6 +492,9 @@
 aims to be a minimal configuration file format. See also
 https://toml.io/en/v1.0.0
 
+* Update of Poly/ML with more robust support for ARM64 platform, notably
+Apple Silicon M1/M2.
+
 
 
 New in Isabelle2022 (October 2022)
diff -r ebad10ab63e1 -r 5683e49f7884 src/Pure/Admin/component_polyml.scala
--- a/src/Pure/Admin/component_polyml.scala	Sun Aug 06 22:40:12 2023 +0200
+++ b/src/Pure/Admin/component_polyml.scala	Sun Aug 06 23:44:50 2023 +0200
@@ -154,7 +154,7 @@
   /** skeleton for component **/
 
   val default_polyml_url = "https://github.com/polyml/polyml/archive"
-  val default_polyml_version = "5e9c8155ea96"
+  val default_polyml_version = "219e0a248f70"
   val default_polyml_name = "polyml-5.9"
 
   val default_sha1_url = "https://isabelle.sketis.net/repos/sha1/archive"