summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ocamlify/Manifest')
-rw-r--r--dev-ml/ocamlify/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/ocamlify/Manifest b/dev-ml/ocamlify/Manifest
deleted file mode 100644
index 81c035d6fc01..000000000000
--- a/dev-ml/ocamlify/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST ocamlify-0.0.2.tar.gz 53184 BLAKE2B fff11edce964a0552f9a7f130872f393e764a9413ac526d643dd575969a47cbc6a0f9c5040c0fcd3e5beb11c42a8a3a35fe55898eab176b11c659bdd74729b90 SHA512 e36dd09de6163be1e4d1a54944bb66871a5d461b3ead9ee8393d91a624cf6f7d038be8d8b9db36b04786adff67eb830d9aa3e81475e774dc0dee73adb985079e