# HG changeset patch
# User wenzelm
# Date 1518384418 -3600
# Node ID 686679dedb46d7a88b27f2a5c548190059ef2cea
# Parent  fefa5148fe76e0c446b95cfbf51a620bb97cb697# Parent  b34be30102736d4ed80a4738aabdcd8afcd877dd
merged

diff -r b34be3010273 -r 686679dedb46 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Feb 11 18:09:17 2018 +0100
+++ b/Admin/components/components.sha1	Sun Feb 11 22:26:58 2018 +0100
@@ -160,6 +160,7 @@
 5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
 381a70cecf0fdee47f6842e2bdb5107ed52adab6  polyml-5.7.1-1.tar.gz
 39dac33b569ac66f76126b8f4edc6d9227bd8a63  polyml-5.7.1-2.tar.gz
+0b896ccc35bd3f2541cd55e6f0ed14637ed9fc68  polyml-5.7.1-4.tar.gz
 171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
diff -r b34be3010273 -r 686679dedb46 Admin/components/main
--- a/Admin/components/main	Sun Feb 11 18:09:17 2018 +0100
+++ b/Admin/components/main	Sun Feb 11 22:26:58 2018 +0100
@@ -11,7 +11,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-5.7.1-2
+polyml-5.7.1-4
 postgresql-42.1.4
 scala-2.12.4
 smbc-0.4.1