--- a/Admin/components/main Mon Nov 30 16:22:42 2020 +0100
+++ b/Admin/components/main Mon Nov 30 16:34:03 2020 +0100
@@ -13,7 +13,7 @@
nunchaku-0.5
opam-2.0.7
polyml-test-f86ae3dc1686
-postgresql-42.2.9
+postgresql-42.2.18
scala-2.12.12
smbc-0.4.1
spass-3.8ds-2