summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/opam-file-format/Manifest')
-rw-r--r--dev-ml/opam-file-format/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/opam-file-format/Manifest b/dev-ml/opam-file-format/Manifest
deleted file mode 100644
index 3223c3fa1c8f..000000000000
--- a/dev-ml/opam-file-format/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST opam-file-format-2.0.0_beta3.tar.gz 7654 BLAKE2B fa9ea04af0973fd52e0147d751116484e65ffb64369a19701740f0e1c81504e4f10574c3aeb5052f2cba02355d0c14875cea0f55694b74e70afffc20fccd7e88 SHA512 7f4989711e4dc183086b6dccc512ecfe78bfbbd98af954560d5a2c945b8b32416f3a01902203ef78932451cd99a5c1b1571edf70581bd14a2a94e32f5d4dd818