# HG changeset patch
# User wenzelm
# Date 1637930205 -3600
# Node ID 2336356d4180b948eb9070f3f9f8986cda7e8f76
# Parent  743b114bdb419293e57579a43c67705a71e7c05c
updated to polyml-5.9;

diff -r 743b114bdb41 -r 2336356d4180 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Nov 26 13:07:15 2021 +0100
+++ b/Admin/components/components.sha1	Fri Nov 26 13:36:45 2021 +0100
@@ -334,6 +334,7 @@
 0f1c903b043acf7b221821d8b6374b3f943a122b  polyml-5.9-610a153b941d.tar.gz
 5f00a47b8f5180b33e68fcc6c343b061957a0a98  polyml-5.9-960de0cd0795.tar.gz
 7056b285af67902b32f5049349a064f073f05860  polyml-5.9-cc80e2b43c38.tar.gz
+0c396bd6b46ff11a2432b91aab2be0248bd9b0a4  polyml-5.9.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
 8e83fb5088cf265902b8da753a8eac5fe3f6a14b  polyml-test-159dc81efc3b.tar.gz
diff -r 743b114bdb41 -r 2336356d4180 Admin/components/main
--- a/Admin/components/main	Fri Nov 26 13:07:15 2021 +0100
+++ b/Admin/components/main	Fri Nov 26 13:36:45 2021 +0100
@@ -17,7 +17,7 @@
 minisat-2.2.1-1
 nunchaku-0.5
 opam-2.0.7
-polyml-5.9-610a153b941d
+polyml-5.9
 postgresql-42.2.24
 scala-2.13.5
 smbc-0.4.1
diff -r 743b114bdb41 -r 2336356d4180 Admin/polyml/README
--- a/Admin/polyml/README	Fri Nov 26 13:07:15 2021 +0100
+++ b/Admin/polyml/README	Fri Nov 26 13:36:45 2021 +0100
@@ -3,8 +3,8 @@
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 source distribution from
-https://github.com/polyml/polyml/commit/610a153b941d (shortly before
-official version 5.9).
+https://github.com/polyml/polyml/commit/39d96a2def90 (official release
+5.9 with minimal additions fixes-5.9).
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -55,4 +55,4 @@
 
 
         Makarius
-        14-Nov-2021
+        26-Nov-2021