Admin/components/components.sha1
changeset 69934 13276f83fdac
parent 69932 56c51f8a118b
child 69951 febb3f035e84
--- a/Admin/components/components.sha1	Wed Mar 20 23:06:51 2019 +0100
+++ b/Admin/components/components.sha1	Thu Mar 21 12:38:06 2019 +0100
@@ -168,6 +168,7 @@
 26df569cee9c2fd91b9ac06714afd43f3b37a1dd  nunchaku-0.3.tar.gz
 e573f2cbb57eb7b813ed5908753cfe2cb41033ca  nunchaku-0.5.tar.gz
 fe57793aca175336deea4f5e9c0d949a197850ac  opam-1.2.2.tar.gz
+002f74c9e65e650de2638bf54d7b012b8de76c28  opam-2.0.3.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