--- a/Admin/components/main Sun Oct 09 16:28:28 2022 +0200
+++ b/Admin/components/main Wed Oct 12 11:15:36 2022 +0200
@@ -20,7 +20,7 @@
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305
-polyml-test-bafe319bc3a6
+polyml-test-bafe319bc3a6-1
postgresql-42.5.0
scala-3.2.0
smbc-0.4.1