diff -r d756ff4bb3a3 -r c500f6c86e86 Admin/components/main
--- a/Admin/components/main	Tue Aug 11 14:21:23 2020 +0200
+++ b/Admin/components/main	Tue Aug 11 19:01:31 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-5.8.1
+polyml-test-f54aa41240d0
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1