--- a/Admin/components/main Wed Mar 20 23:06:51 2019 +0100 +++ b/Admin/components/main Thu Mar 21 12:38:06 2019 +0100 @@ -11,7 +11,7 @@ jortho-1.0-2 kodkodi-1.5.2-1 nunchaku-0.5 -opam-1.2.2 +opam-2.0.3 polyml-5.8 postgresql-42.2.5 scala-2.12.8