--- a/Admin/components/main Mon Oct 20 21:37:19 2025 +0200
+++ b/Admin/components/main Tue Oct 21 20:34:20 2025 +0200
@@ -28,7 +28,7 @@
nunchaku-0.5
opam-2.0.7
pdfjs-5.4.149
-polyml-5.9.2
+polyml-5.9.2-1
postgresql-42.7.7
prismjs-1.29.0
rsync-3.2.7-1