--- a/Admin/components/main Wed Oct 14 10:26:02 2020 +0200
+++ b/Admin/components/main Wed Oct 14 21:36:17 2020 +0200
@@ -12,7 +12,7 @@
kodkodi-1.5.6
nunchaku-0.5
opam-2.0.7
-polyml-test-a3cfdf648da-2
+polyml-test-d68c6736402e
postgresql-42.2.9
scala-2.12.12
smbc-0.4.1