# HG changeset patch
# User wenzelm
# Date 1573728594 -3600
# Node ID 2bc568573a47fc47a3e8c6f88cdb9486c7e524e4
# Parent  2f6b092bbd25f3448b07c77d5fc7d2749031a5f2
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;

diff -r 2f6b092bbd25 -r 2bc568573a47 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Nov 14 11:43:46 2019 +0100
+++ b/Admin/components/components.sha1	Thu Nov 14 11:49:54 2019 +0100
@@ -218,6 +218,7 @@
 20a83fa58d497b533150defe39bcd4540529b25f  polyml-5.8-20190306.tar.gz
 9f0e9cd10df4c3383b063eb076e8b698ca50c3d0  polyml-5.8.1-20191101.tar.gz
 f46deb909d645ac8c140968e4d32b5763beb9add  polyml-5.8.1-20191113.tar.gz
+36a40a981b57daae0463d14940a8edf6fa1af179  polyml-5.8.1-20191114.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz
diff -r 2f6b092bbd25 -r 2bc568573a47 Admin/components/main
--- a/Admin/components/main	Thu Nov 14 11:43:46 2019 +0100
+++ b/Admin/components/main	Thu Nov 14 11:49:54 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.3-1
-polyml-5.8.1-20191113
+polyml-5.8.1-20191114
 postgresql-42.2.5
 scala-2.12.10
 smbc-0.4.1
diff -r 2f6b092bbd25 -r 2bc568573a47 Admin/polyml/README
--- a/Admin/polyml/README	Thu Nov 14 11:43:46 2019 +0100
+++ b/Admin/polyml/README	Thu Nov 14 11:49:54 2019 +0100
@@ -47,4 +47,4 @@
 
 
         Makarius
-        13-Nov-2019
+        14-Nov-2019