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