# HG changeset patch
# User wenzelm
# Date 1597165291 -7200
# Node ID c500f6c86e869e66a42957629d6cadffd2d25a4a
# Parent  d756ff4bb3a3ce3ebc3ba8525a371f69672e5cf8
updated to polyml-test-f54aa41240d0;

diff -r d756ff4bb3a3 -r c500f6c86e86 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Aug 11 14:21:23 2020 +0200
+++ b/Admin/components/components.sha1	Tue Aug 11 19:01:31 2020 +0200
@@ -248,6 +248,7 @@
 f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
 609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
+b6d87466e9b44e8ef4a2fac74c96b139080a506a  polyml-test-f54aa41240d0.tar.gz
 a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
diff -r d756ff4bb3a3 -r c500f6c86e86 Admin/components/main
--- a/Admin/components/main	Tue Aug 11 14:21:23 2020 +0200
+++ b/Admin/components/main	Tue Aug 11 19:01:31 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-5.8.1
+polyml-test-f54aa41240d0
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1
diff -r d756ff4bb3a3 -r c500f6c86e86 Admin/polyml/README
--- a/Admin/polyml/README	Tue Aug 11 14:21:23 2020 +0200
+++ b/Admin/polyml/README	Tue Aug 11 19:01:31 2020 +0200
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML (http://www.polyml.org) is based on the
 repository version
-https://github.com/polyml/polyml/commit/159dc81efc3b
+https://github.com/polyml/polyml/commit/f54aa41240d0
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as