# HG changeset patch
# User wenzelm
# Date 1547921818 -3600
# Node ID 3b777286c3ecd1fc27c84f6da67af881ce5f8924
# Parent  9c6651cd614165fd11c0cf048b345148ba585f9c
auto-update for some experimental components;

diff -r 9c6651cd6141 -r 3b777286c3ec Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Jan 19 16:53:18 2019 +0100
+++ b/Admin/components/components.sha1	Sat Jan 19 19:16:58 2019 +0100
@@ -193,6 +193,7 @@
 1430533c09b17f8be73798a47a5f409d43a04cf4  polyml-5.7.1-8.tar.gz
 171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
+49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
@@ -275,3 +276,4 @@
 93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8  z3-4.4.0pre-1.tar.gz
 b1bc411c2083fc01577070b56b94514676f53854  z3-4.4.0pre-2.tar.gz
 517ba7b94c1985416c5b411c8ae84456367eb231  z3-4.4.0pre.tar.gz
+aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz