--- a/Admin/components/main Fri Oct 02 10:18:50 2020 +0200
+++ b/Admin/components/main Fri Oct 02 13:08:38 2020 +0200
@@ -11,7 +11,7 @@
jortho-1.0-2
kodkodi-1.5.6
nunchaku-0.5
-opam-2.0.6
+opam-2.0.7
polyml-test-a3cfdf648da-1
postgresql-42.2.9
scala-2.12.12