# HG changeset patch
# User wenzelm
# Date 1549032359 -3600
# Node ID 76f2d492627e586e9a429ef46d7aaf07c76d91e6
# Parent  a7529ac9c1c59a4167e3efcaf0abddc55cec9b06
updated to polyml-test-b68438d33c69;

diff -r a7529ac9c1c5 -r 76f2d492627e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Feb 01 15:02:36 2019 +0100
+++ b/Admin/components/components.sha1	Fri Feb 01 15:45:59 2019 +0100
@@ -204,6 +204,7 @@
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
 4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
+f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
 609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
 a619177143fea42a464f49bb864665407c07a16c  polyml-test-fb4f42af00fa.tar.gz
diff -r a7529ac9c1c5 -r 76f2d492627e Admin/components/main
--- a/Admin/components/main	Fri Feb 01 15:02:36 2019 +0100
+++ b/Admin/components/main	Fri Feb 01 15:45:59 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-1236652ebd55
+polyml-test-b68438d33c69
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
diff -r a7529ac9c1c5 -r 76f2d492627e Admin/polyml/README
--- a/Admin/polyml/README	Fri Feb 01 15:02:36 2019 +0100
+++ b/Admin/polyml/README	Fri Feb 01 15:45:59 2019 +0100
@@ -3,7 +3,7 @@
 
 This compilation of Poly/ML (https://www.polyml.org) is based on the
 repository version
-https://github.com/polyml/polyml/commit/1236652ebd55 (master).
+https://github.com/polyml/polyml/commit/b68438d33c69 (master).
 
 The Isabelle repository provides the administrative tool
 "build_polyml", which can be used in the polyml component directory as
@@ -48,4 +48,4 @@
 
 
         Makarius
-        31-Jan-2019
+        01-Feb-2019