# HG changeset patch
# User wenzelm
# Date 1598388994 -7200
# Node ID a1e9ae14bb68e582e4d3eab74142c52eea544006
# Parent  5c057abc1b784d09199d97de0a3159f9a387f99e
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;

diff -r 5c057abc1b78 -r a1e9ae14bb68 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Aug 25 15:14:46 2020 +0200
+++ b/Admin/components/components.sha1	Tue Aug 25 22:56:34 2020 +0200
@@ -249,6 +249,7 @@
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 7df4857d73dbc9edda25a6ad329e47639e70fadf  polyml-test-8fda4fd22441.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
+33568f69ce813b7405386ddbefa14ad0342bb8f0  polyml-test-a3cfdf648da.tar.gz
 4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
 f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
diff -r 5c057abc1b78 -r a1e9ae14bb68 Admin/components/main
--- a/Admin/components/main	Tue Aug 25 15:14:46 2020 +0200
+++ b/Admin/components/main	Tue Aug 25 22:56:34 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.6
-polyml-test-f54aa41240d0
+polyml-test-a3cfdf648da
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1
diff -r 5c057abc1b78 -r a1e9ae14bb68 Admin/polyml/README
--- a/Admin/polyml/README	Tue Aug 25 15:14:46 2020 +0200
+++ b/Admin/polyml/README	Tue Aug 25 22:56:34 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/f54aa41240d0
+https://github.com/polyml/polyml/commit/a3cfdf648da
 
 The Isabelle repository provides an administrative tool "isabelle
 build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
 
 
         Makarius
-        11-Aug-2020
+        25-Aug-2020