--- a/Admin/components/components.sha1 Sat Jul 28 16:50:55 2018 +0200
+++ b/Admin/components/components.sha1 Sat Jul 28 17:25:40 2018 +0200
@@ -173,6 +173,7 @@
262450ac9966abebae2e1d4f9ae703cfe0f5d8d9 polyml-5.7.1-5.tar.gz
1aeb57877d694db7fe4d4395287cddf3bc77710b polyml-5.7.1-6.tar.gz
e3e7e20b1e0e5d5d68df4cd4caa1e1a7410d46b6 polyml-5.7.1-7.tar.gz
+1430533c09b17f8be73798a47a5f409d43a04cf4 polyml-5.7.1-8.tar.gz
171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
--- a/Admin/components/main Sat Jul 28 16:50:55 2018 +0200
+++ b/Admin/components/main Sat Jul 28 17:25:40 2018 +0200
@@ -11,7 +11,7 @@
jortho-1.0-2
kodkodi-1.5.2-1
nunchaku-0.5
-polyml-5.7.1-7
+polyml-5.7.1-8
postgresql-42.2.2
scala-2.12.6
smbc-0.4.1
--- a/Admin/polyml/README Sat Jul 28 16:50:55 2018 +0200
+++ b/Admin/polyml/README Sat Jul 28 17:25:40 2018 +0200
@@ -3,7 +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/commits/fixes-5.7.1
-commit 31643fd67f47.
+up to commit b3d1ff33a4b4.
The Isabelle repository provides the administrative tool "build_polyml",
which can be used in the polyml component directory as follows.
@@ -54,4 +54,4 @@
Makarius
- 22-Jul-2018
+ 28-Jul-2018