diff options
Diffstat (limited to 'dev-ml/opam-core/Manifest')
| -rw-r--r-- | dev-ml/opam-core/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/opam-core/Manifest b/dev-ml/opam-core/Manifest new file mode 100644 index 000000000000..db4db56c08eb --- /dev/null +++ b/dev-ml/opam-core/Manifest @@ -0,0 +1 @@ +DIST opam-2.0.7.tar.gz 636708 BLAKE2B 2824a5c53f4103c267f99ae10f55df740b3afcc033321e888133817c0e53c4a8fc31738338df3d6d9ff8755987e85ade4a4726be98f77b06b81ffc1476d02c3d SHA512 2ade3998a94333a5a838b55e229ab0c707e678481cae892980b986fb86f39163070a9b7d3e0e87879cd57b91a33bf6a3e15f3786c3510a635e59383782218f1d |