# HG changeset patch
# User nipkow
# Date 1636306210 -3600
# Node ID cc54b8812c63efad4bd56c071e474f2ca8da808f
# Parent  b92b5a57521b27cf592b835caa8e8d73e05070d2# Parent  f05c73bf5968df6168a9b72f64d7b996fcaa86f7
merged

diff -r f05c73bf5968 -r cc54b8812c63 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Nov 07 14:26:11 2021 +0100
+++ b/Admin/components/components.sha1	Sun Nov 07 18:30:10 2021 +0100
@@ -327,6 +327,7 @@
 22ae16bf7850e73b903d2ca8eb506da05b441cf3  polyml-5.8.1.tar.gz
 cb8e85387315f62dcfc6b21ec378186e58068f76  polyml-5.8.2.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
+fb40145228f84513a9b083b54678a7d61b9c34c4  polyml-5.9-5d4caa8f7148.tar.gz
 5f00a47b8f5180b33e68fcc6c343b061957a0a98  polyml-5.9-960de0cd0795.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
diff -r f05c73bf5968 -r cc54b8812c63 Admin/components/main
--- a/Admin/components/main	Sun Nov 07 14:26:11 2021 +0100
+++ b/Admin/components/main	Sun Nov 07 18:30:10 2021 +0100
@@ -17,9 +17,9 @@
 minisat-2.2.1
 nunchaku-0.5
 opam-2.0.7
-polyml-5.9-960de0cd0795
+polyml-5.9-5d4caa8f7148
 postgresql-42.2.24
-scala-2.13.7
+scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
diff -r f05c73bf5968 -r cc54b8812c63 Admin/polyml/README
--- a/Admin/polyml/README	Sun Nov 07 14:26:11 2021 +0100
+++ b/Admin/polyml/README	Sun Nov 07 18:30:10 2021 +0100
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 source distribution from
-https://github.com/polyml/polyml/commit/960de0cd0795 (shortly before
+https://github.com/polyml/polyml/commit/5d4caa8f7148 (shortly before
 official version 5.9).
 
 The Isabelle repository provides an administrative tool "isabelle
@@ -55,4 +55,4 @@
 
 
         Makarius
-        21-Oct-2021
+        07-Nov-2021