--- a/Admin/components/main Thu Oct 06 20:13:55 2022 +0200
+++ b/Admin/components/main Sun Oct 09 16:28:28 2022 +0200
@@ -20,7 +20,7 @@
nunchaku-0.5
opam-2.0.7
pdfjs-2.14.305
-polyml-test-15c840d48c9a
+polyml-test-bafe319bc3a6
postgresql-42.5.0
scala-3.2.0
smbc-0.4.1