summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_traverse_builtins/Manifest')
-rw-r--r--dev-ml/ppx_traverse_builtins/Manifest1
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-ml/ppx_traverse_builtins/Manifest b/dev-ml/ppx_traverse_builtins/Manifest
deleted file mode 100644
index c5a325ceb0c7..000000000000
--- a/dev-ml/ppx_traverse_builtins/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST ppx_traverse_builtins-0.9.0.tar.gz 6328 BLAKE2B 1e111d97876fb97826a04dfddbd1289e4b64ca93cb09e2f8692fcd5c1b87eb09259938b31662ed712d3e3926cd3b8edecf967d85ce9846805c74b28a4359e02a SHA512 c8d77138f8fcd4d440870eb9126f5aca2d9fa917fac6bd9aa7f6dd4fb3e75f5860efbdc312ffc23b375808c33e1527726318918bf7bee61f470ef3a2cb40f6ba