# HG changeset patch # User wenzelm # Date 1633382816 -7200 # Node ID a01806afe1312ef95c287b27c7c38aa74198d526 # Parent 850535cc2ed8b0dab6421a71ca1a1eb656dc81ac provide opam-2.1.0 for experimentation; diff -r 850535cc2ed8 -r a01806afe131 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Mon Oct 04 22:16:41 2021 +0200 +++ b/Admin/components/components.sha1 Mon Oct 04 23:26:56 2021 +0200 @@ -276,6 +276,7 @@ 002f74c9e65e650de2638bf54d7b012b8de76c28 opam-2.0.3.tar.gz ddb3b438430d9565adbf5e3d913bd52af8337511 opam-2.0.6.tar.gz fc66802c169f44511d3be30435eb89a11e635742 opam-2.0.7.tar.gz +108e947d17e9aa6170872614492d8f647802f483 opam-2.1.0.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