diff -r 4c7e8d01f6b9 -r 793171d7800b Admin/components/main
--- 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