# HG changeset patch
# User wenzelm
# Date 1548966104 -3600
# Node ID f646759090ce44c6ace8c5d82b68bccf312d3f58
# Parent  5a8ae7a4b7d038ab8cc3608c6963a8a110ad67bc
updated to polyml-test-1236652ebd55;

diff -r 5a8ae7a4b7d0 -r f646759090ce Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Jan 31 17:18:15 2019 +0100
+++ b/Admin/components/components.sha1	Thu Jan 31 21:21:44 2019 +0100
@@ -197,6 +197,7 @@
 171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
+2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
 a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
diff -r 5a8ae7a4b7d0 -r f646759090ce Admin/components/main
--- a/Admin/components/main	Thu Jan 31 17:18:15 2019 +0100
+++ b/Admin/components/main	Thu Jan 31 21:21:44 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-1b2dcf8f5202
+polyml-test-1236652ebd55
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
diff -r 5a8ae7a4b7d0 -r f646759090ce Admin/polyml/README
--- a/Admin/polyml/README	Thu Jan 31 17:18:15 2019 +0100
+++ b/Admin/polyml/README	Thu Jan 31 21:21:44 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/1b2dcf8f5202 (master).
+https://github.com/polyml/polyml/commit/1236652ebd55 (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
-        27-Jan-2019
+        31-Jan-2019