--- 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