--- a/Admin/components/main Wed Jun 07 14:29:25 2023 +0200
+++ b/Admin/components/main Wed Jun 07 15:27:52 2023 +0200
@@ -26,7 +26,7 @@
opam-2.0.7
pdfjs-2.14.305
polyml-a5d5fba90286
-postgresql-42.5.0
+postgresql-42.6.0
prismjs-1.29.0
rsync-3.2.7
scala-3.3.0