# HG changeset patch
# User wenzelm
# Date 1697307760 -7200
# Node ID 62b64f168c31454cdd3c51410f604567cefb3e91
# Parent  e5b2574f6462e6bfd4bc071bf011e7c51ede9226
updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;

diff -r e5b2574f6462 -r 62b64f168c31 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Oct 14 20:10:08 2023 +0200
+++ b/Admin/components/components.sha1	Sat Oct 14 20:22:40 2023 +0200
@@ -382,6 +382,7 @@
 0f1c903b043acf7b221821d8b6374b3f943a122b polyml-5.9-610a153b941d.tar.gz
 5f00a47b8f5180b33e68fcc6c343b061957a0a98 polyml-5.9-960de0cd0795.tar.gz
 7056b285af67902b32f5049349a064f073f05860 polyml-5.9-cc80e2b43c38.tar.gz
+d0327534d5f3014f3faa2a40830a9ce1db953fef polyml-5.9.1.tar.gz
 0c396bd6b46ff11a2432b91aab2be0248bd9b0a4 polyml-5.9.tar.gz
 f399ab9ee4a586fddeb6e73ca3605af65a89f969 polyml-5e9c8155ea96.tar.gz
 2cea4dd48bb8b171bc04c9793a55c7fa4c2d96f1 polyml-a5d5fba90286.tar.gz
diff -r e5b2574f6462 -r 62b64f168c31 Admin/components/main
--- a/Admin/components/main	Sat Oct 14 20:10:08 2023 +0200
+++ b/Admin/components/main	Sat Oct 14 20:22:40 2023 +0200
@@ -25,7 +25,7 @@
 nunchaku-0.5
 opam-2.0.7
 pdfjs-2.14.305
-polyml-219e0a248f70
+polyml-5.9.1
 postgresql-42.6.0
 prismjs-1.29.0
 rsync-3.2.7