diff -r 06bb82e7af2a -r 7e8e5e1f8f90 Admin/components/main
--- 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