--- a/Admin/components/main Wed Oct 22 21:02:58 2025 +0200
+++ b/Admin/components/main Wed Oct 22 21:10:23 2025 +0200
@@ -29,7 +29,7 @@
opam-2.0.7
pdfjs-5.4.149
polyml-5.9.2-1
-postgresql-42.7.7
+postgresql-42.7.8
prismjs-1.29.0
rsync-3.2.7-1
scala-3.3.4