--- a/Admin/components/main Sun Jan 12 21:35:56 2020 +0100
+++ b/Admin/components/main Sun Jan 12 22:21:40 2020 +0100
@@ -13,7 +13,7 @@
nunchaku-0.5
opam-2.0.3-1
polyml-5.8.1-20191124
-postgresql-42.2.5
+postgresql-42.2.9
scala-2.12.10
smbc-0.4.1
spass-3.8ds-1