# HG changeset patch # User wenzelm # Date 1509792128 -3600 # Node ID c70c47dcf63e4be07cb120c805aa0dd6dd844fe0 # Parent 8905114fd23b85f5afaaa2ee7bcb6de06966abbb polyml-test version based on experimental branch NewTestRegisterSave; diff -r 8905114fd23b -r c70c47dcf63e Admin/components/components.sha1 --- a/Admin/components/components.sha1 Fri Nov 03 22:36:32 2017 +0100 +++ b/Admin/components/components.sha1 Sat Nov 04 11:42:08 2017 +0100 @@ -155,6 +155,7 @@ 5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz 80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz 5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz +4e6543dbbb2b2aa402fd61428e1c045c48f18b47 polyml-test-79534495ee94.tar.gz 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz 2b7c02b67feb2f44dda6938a7244f4257e7c580c polyml-test-905dae2ebfda.tar.gz