diff -r b0532b178d11 -r 707c247194be Admin/components/main
--- a/Admin/components/main	Mon Dec 16 13:13:05 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:32:36 2024 +0100
@@ -27,7 +27,7 @@
 opam-2.0.7
 pdfjs-2.14.305
 polyml-5.9.1
-postgresql-42.7.3
+postgresql-42.7.4
 prismjs-1.29.0
 rsync-3.2.7-1
 scala-3.3.4