--- a/Admin/components/components.sha1 Sun Nov 14 21:14:54 2021 +0100
+++ b/Admin/components/components.sha1 Sun Nov 14 21:52:13 2021 +0100
@@ -330,6 +330,7 @@
cb8e85387315f62dcfc6b21ec378186e58068f76 polyml-5.8.2.tar.gz
d1fd6eced69dc1df7226432fcb824568e0994ff2 polyml-5.8.tar.gz
fb40145228f84513a9b083b54678a7d61b9c34c4 polyml-5.9-5d4caa8f7148.tar.gz
+0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
49f1adfacdd6d29fa9f72035d94a31eaac411a97 polyml-test-0a6ebca445fc.tar.gz
--- a/Admin/components/main Sun Nov 14 21:14:54 2021 +0100
+++ b/Admin/components/main Sun Nov 14 21:52:13 2021 +0100
@@ -17,7 +17,7 @@
minisat-2.2.1-1
nunchaku-0.5
opam-2.0.7
-polyml-5.9-cc80e2b43c38
+polyml-5.9-610a153b941d
postgresql-42.2.24
scala-2.13.5
smbc-0.4.1
--- a/Admin/polyml/README Sun Nov 14 21:14:54 2021 +0100
+++ b/Admin/polyml/README Sun Nov 14 21:52:13 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/cc80e2b43c38 (shortly before
+https://github.com/polyml/polyml/commit/610a153b941d (shortly before
official version 5.9).
The Isabelle repository provides an administrative tool "isabelle
@@ -55,4 +55,4 @@
Makarius
- 12-Nov-2021
+ 14-Nov-2021