diff -r 54a064957ff3 -r 4e58bc7215a0 Admin/components/main
--- a/Admin/components/main	Sat Oct 02 17:32:23 2021 +0200
+++ b/Admin/components/main	Sat Oct 02 17:40:03 2021 +0200
@@ -17,7 +17,7 @@
 nunchaku-0.5
 opam-2.0.7
 polyml-5.8.2
-postgresql-42.2.18
+postgresql-42.2.24
 scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2