--- a/Admin/components/main Thu Jan 16 14:07:28 2020 +0100
+++ b/Admin/components/main Thu Jan 16 15:10:16 2020 +0100
@@ -11,7 +11,7 @@
jortho-1.0-2
kodkodi-1.5.2-1
nunchaku-0.5
-opam-2.0.3-1
+opam-2.0.6
polyml-5.8.1-20191124
postgresql-42.2.9
scala-2.12.10