# HG changeset patch
# User wenzelm
# Date 1643056177 -3600
# Node ID 68ffcf5cc94bd7be344a49bfff0060114ef92987
# Parent  26794ec7c78e34d873c1bd17114108f02c7f2888
updated to polyml-test-15c840d48c9a;

diff -r 26794ec7c78e -r 68ffcf5cc94b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Jan 22 13:00:03 2022 +0100
+++ b/Admin/components/components.sha1	Mon Jan 24 21:29:37 2022 +0100
@@ -342,6 +342,7 @@
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
 8e83fb5088cf265902b8da753a8eac5fe3f6a14b  polyml-test-159dc81efc3b.tar.gz
+b80c17398293d0c8f8d9923427176efb33cf2d89  polyml-test-15c840d48c9a.tar.gz
 a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
diff -r 26794ec7c78e -r 68ffcf5cc94b Admin/components/main
--- a/Admin/components/main	Sat Jan 22 13:00:03 2022 +0100
+++ b/Admin/components/main	Mon Jan 24 21:29:37 2022 +0100
@@ -18,7 +18,7 @@
 minisat-2.2.1-1
 nunchaku-0.5
 opam-2.0.7
-polyml-5.9
+polyml-test-15c840d48c9a
 postgresql-42.2.24
 scala-2.13.5
 smbc-0.4.1
diff -r 26794ec7c78e -r 68ffcf5cc94b Admin/polyml/settings
--- a/Admin/polyml/settings	Sat Jan 22 13:00:03 2022 +0100
+++ b/Admin/polyml/settings	Mon Jan 24 21:29:37 2022 +0100
@@ -2,7 +2,7 @@
 
 POLYML_HOME="$COMPONENT"
 
-ML_PLATFORM="${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}"
+ML_PLATFORM="${ISABELLE_APPLE_PLATFORM64:-${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}}"
 
 if grep "ML_system_64.*=.*true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
 then