summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_tools/Manifest')
-rw-r--r--dev-ml/ppx_tools/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
new file mode 100644
index 000000000000..0181b80fa80a
--- /dev/null
+++ b/dev-ml/ppx_tools/Manifest
@@ -0,0 +1 @@
+DIST ppx_tools_0.99.2.tar.gz 15877 SHA256 98128022ea0574d769a263eb9b73be06200eec4bac9adb8dc44df289a77c4dec SHA512 1ed8b3a670e233e77988d10c777003384c86c124b8b7e4cec41c0a3e0de280f818b7cbbddc59c49644517899ce0ef022407db6d4aaf29c559abc0788dce11594 WHIRLPOOL f04ecf57ab457ce2ea58b93a50215f49f257597ce4176a4cd3fe8ffb230ab1a898a479d2bbab3df2675b71f7123c556d3a7cd84e8b2263389ea02f3990585924