# HG changeset patch
# User wenzelm
# Date 1550428264 -3600
# Node ID ce4842d2d15066722a97f2d97c87767072f651d4
# Parent  56d5bb8c102eb71754bcb419258b641a6edec5d7
updated to polyml-test-8fda4fd22441;

diff -r 56d5bb8c102e -r ce4842d2d150 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Feb 15 18:24:22 2019 +0000
+++ b/Admin/components/components.sha1	Sun Feb 17 19:31:04 2019 +0100
@@ -203,6 +203,7 @@
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
+7df4857d73dbc9edda25a6ad329e47639e70fadf  polyml-test-8fda4fd22441.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
 4bedaac4f1fb9a9199aa63695735063c47059003  polyml-test-a444f281ccec.tar.gz
 f3031692edcc5d8028a42861e4e40779f0f9d3e1  polyml-test-b68438d33c69.tar.gz
diff -r 56d5bb8c102e -r ce4842d2d150 Admin/components/main
--- a/Admin/components/main	Fri Feb 15 18:24:22 2019 +0000
+++ b/Admin/components/main	Sun Feb 17 19:31:04 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-5.7.1-8
+polyml-test-8fda4fd22441
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
diff -r 56d5bb8c102e -r ce4842d2d150 Admin/polyml/README
--- a/Admin/polyml/README	Fri Feb 15 18:24:22 2019 +0000
+++ b/Admin/polyml/README	Sun Feb 17 19:31:04 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/b68438d33c69 (master).
+https://github.com/polyml/polyml/commit/8fda4fd22441 (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
-        01-Feb-2019
+        17-Feb-2019