--- a/Admin/components/components.sha1 Thu Jan 16 14:07:28 2020 +0100
+++ b/Admin/components/components.sha1 Thu Jan 16 15:10:16 2020 +0100
@@ -188,6 +188,7 @@
fe57793aca175336deea4f5e9c0d949a197850ac opam-1.2.2.tar.gz
eb499a18e7040ca0fe1ca824c9dcb2087c47c9ba opam-2.0.3-1.tar.gz
002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz
+ddb3b438430d9565adbf5e3d913bd52af8337511 opam-2.0.6.tar.gz
1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
a3f9c159a0ee9a63b7a5d0c835ed9c2c908f8b56 polyml-5.5.0-1.tar.gz
7d604a99355efbfc1459d80db3279ffa7ade3e39 polyml-5.5.0-2.tar.gz
--- 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