updated to polyml-test-7e49fce62e3d --- follow current ongoing development;

--- a/Admin/components/components.sha1	Fri Nov 06 13:42:23 2020 +0100
+++ b/Admin/components/components.sha1	Fri Nov 06 13:43:49 2020 +0100
@@ -257,6 +257,7 @@
 a0064c157a59e2706e18512a49a6dca914fa17fc  polyml-test-1b2dcf8f5202.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
+85bfda83d138e936fdafd68ed3627b1058e5c2c3  polyml-test-7e49fce62e3d.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 7df4857d73dbc9edda25a6ad329e47639e70fadf  polyml-test-8fda4fd22441.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz

--- a/Admin/components/main	Fri Nov 06 13:42:23 2020 +0100
+++ b/Admin/components/main	Fri Nov 06 13:43:49 2020 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.6
 nunchaku-0.5
 opam-2.0.7
-polyml-test-cf46747fee61
+polyml-test-7e49fce62e3d
 postgresql-42.2.9
 scala-2.12.12
 smbc-0.4.1