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