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