--- a/Admin/components/components.sha1 Sat Feb 10 12:20:18 2018 +0100
+++ b/Admin/components/components.sha1 Sat Feb 10 12:28:36 2018 +0100
@@ -159,6 +159,7 @@
21fa0592b7dfd23269063f42604438165630c0f0 polyml-5.6-2.tar.gz
5b19dc93082803b82aa553a5cfb3e914606c0ffd polyml-5.6.tar.gz
381a70cecf0fdee47f6842e2bdb5107ed52adab6 polyml-5.7.1-1.tar.gz
+39dac33b569ac66f76126b8f4edc6d9227bd8a63 polyml-5.7.1-2.tar.gz
171b5783b88522a35e4822b19ef8ba838c04f494 polyml-5.7.1.tar.gz
80b923fca3533bf291ff9da991f2262a98b68cc4 polyml-5.7-20170217.tar.gz
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
--- a/Admin/components/main Sat Feb 10 12:20:18 2018 +0100
+++ b/Admin/components/main Sat Feb 10 12:28:36 2018 +0100
@@ -11,7 +11,7 @@
jortho-1.0-2
kodkodi-1.5.2
nunchaku-0.5
-polyml-5.7.1-1
+polyml-5.7.1-2
postgresql-42.1.4
scala-2.12.4
smbc-0.4.1