# HG changeset patch
# User wenzelm
# Date 1551896986 -3600
# Node ID 02e0458d342f9710a67ae570f467007e6411c1a9
# Parent  0af6b4a5a7d971431f4c250824d2a8c506f1ec73
updated to polyml-5.8-20190306;

diff -r 0af6b4a5a7d9 -r 02e0458d342f Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Mar 06 13:17:17 2019 +0100
+++ b/Admin/components/components.sha1	Wed Mar 06 19:29:46 2019 +0100
@@ -199,6 +199,7 @@
 171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
 51e024225b460900da5279f0b91b217085f98cf9  polyml-5.8-20190220.tar.gz
+20a83fa58d497b533150defe39bcd4540529b25f  polyml-5.8-20190306.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
 a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
diff -r 0af6b4a5a7d9 -r 02e0458d342f Admin/components/main
--- a/Admin/components/main	Wed Mar 06 13:17:17 2019 +0100
+++ b/Admin/components/main	Wed Mar 06 19:29:46 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-5.8-20190220
+polyml-5.8-20190306
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
diff -r 0af6b4a5a7d9 -r 02e0458d342f Admin/polyml/README
--- a/Admin/polyml/README	Wed Mar 06 13:17:17 2019 +0100
+++ b/Admin/polyml/README	Wed Mar 06 19:29:46 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/c3a630fcc6a6 (master).
+https://github.com/polyml/polyml/commit/fef9f8681c2f (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
-        20-Feb-2019
+        06-Mar-2019