# HG changeset patch
# User wenzelm
# Date 1597144558 -7200
# Node ID 284d6c06cbfb448d3cb300f4f8323d7f5231c151
# Parent  9e5862223442be44463ce2bc1f0209ad5efb378b
updated to polyml-test-159dc81efc3b;

diff -r 9e5862223442 -r 284d6c06cbfb Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 10 15:34:55 2020 +0000
+++ b/Admin/components/components.sha1	Tue Aug 11 13:15:58 2020 +0200
@@ -237,6 +237,7 @@
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
+8e83fb5088cf265902b8da753a8eac5fe3f6a14b  polyml-test-159dc81efc3b.tar.gz
 a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
diff -r 9e5862223442 -r 284d6c06cbfb Admin/components/main
--- a/Admin/components/main	Mon Aug 10 15:34:55 2020 +0000
+++ b/Admin/components/main	Tue Aug 11 13:15:58 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-5.8.1
+polyml-test-159dc81efc3b
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1
diff -r 9e5862223442 -r 284d6c06cbfb Admin/polyml/README
--- a/Admin/polyml/README	Mon Aug 10 15:34:55 2020 +0000
+++ b/Admin/polyml/README	Tue Aug 11 13:15:58 2020 +0200
@@ -1,9 +1,9 @@
 Poly/ML for Isabelle
 ====================
 
-This compilation of Poly/ML 5.8.1 (https://www.polyml.org) is based on
-the source distribution from
-https://github.com/polyml/polyml/releases/tag/v5.8.1
+This compilation of Poly/ML (http://www.polyml.org) is based on the
+repository version
+https://github.com/polyml/polyml/commit/159dc81efc3b
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
 
 
         Makarius
-        21-Jul-2020
+        11-Aug-2020
diff -r 9e5862223442 -r 284d6c06cbfb Admin/polyml/settings
--- a/Admin/polyml/settings	Mon Aug 10 15:34:55 2020 +0000
+++ b/Admin/polyml/settings	Tue Aug 11 13:15:58 2020 +0200
@@ -12,7 +12,7 @@
   ML_OPTIONS="--minheap 500"
 fi
 
-ML_SYSTEM=polyml-5.8.1
+ML_SYSTEM=polyml-5.8.2
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
 ML_SOURCES="$POLYML_HOME/src"