--- a/Admin/components/main Wed Jul 27 12:38:50 2022 +0200
+++ b/Admin/components/main Wed Jul 27 12:49:31 2022 +0200
@@ -20,7 +20,7 @@
opam-2.0.7
pdfjs-2.14.305
polyml-test-15c840d48c9a
-postgresql-42.2.24
+postgresql-42.4.0
scala-3.1.3
smbc-0.4.1
spass-3.8ds-2