# HG changeset patch
# User paulson
# Date 1529535681 -3600
# Node ID b6e48841d0a5cb75a48896b33cdb4a92fea9de33
# Parent  1b8457cc4de8afec5fc2c209e0c9fb9c16864859# Parent  346bdafaf5fad9e9c1df5b35aadbbbf7fa9d19cd
merged

diff -r 346bdafaf5fa -r b6e48841d0a5 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Jun 20 22:46:48 2018 +0100
+++ b/Admin/components/components.sha1	Thu Jun 21 00:01:21 2018 +0100
@@ -169,6 +169,7 @@
 39dac33b569ac66f76126b8f4edc6d9227bd8a63  polyml-5.7.1-2.tar.gz
 0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68  polyml-5.7.1-4.tar.gz
 262450ac9966abebae2e1d4f9ae703cfe0f5d8d9  polyml-5.7.1-5.tar.gz
+1aeb57877d694db7fe4d4395287cddf3bc77710b  polyml-5.7.1-6.tar.gz
 171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
diff -r 346bdafaf5fa -r b6e48841d0a5 Admin/components/main
--- a/Admin/components/main	Wed Jun 20 22:46:48 2018 +0100
+++ b/Admin/components/main	Thu Jun 21 00:01:21 2018 +0100
@@ -11,7 +11,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-5.7.1-5
+polyml-5.7.1-6
 postgresql-42.2.2
 scala-2.12.6
 smbc-0.4.1
diff -r 346bdafaf5fa -r b6e48841d0a5 Admin/polyml/README
--- a/Admin/polyml/README	Wed Jun 20 22:46:48 2018 +0100
+++ b/Admin/polyml/README	Thu Jun 21 00:01:21 2018 +0100
@@ -3,6 +3,7 @@
 
 This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
 source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
+with commit 86c52cbd8f6d from the "fixes-5.7.1" branch.
 
 The Isabelle repository provides the administrative tool "build_polyml",
 which can be used in the polyml component directory as follows.
@@ -53,4 +54,4 @@
 
 
         Makarius
-        11-Feb-2018
+        20-Jun-2018