summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_hash/Manifest')
-rw-r--r--dev-ml/ppx_hash/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_hash/Manifest b/dev-ml/ppx_hash/Manifest
new file mode 100644
index 000000000000..84767f540cbe
--- /dev/null
+++ b/dev-ml/ppx_hash/Manifest
@@ -0,0 +1 @@
+DIST ppx_hash-0.9.0.tar.gz 26942 SHA256 85900477fb06a1f52f67ab6a059bcc55e9bb8a6c9225f2d0efa9454b478d047a SHA512 401a87f5cc357ad50fc23f2450b84d6113cd79c1d2506f6e95476795fde0f3240ca252fc3bfe083f9ee1d0511ea3909481387ecf597edef6f90f9756a5a97096 WHIRLPOOL 8a07e6ea6ba51a6f634254cdc976468d76b9d08f2685b4226396660ea266c76874b22244b97f5eb19b13c14d456b1010f0ea1a852f21ca83b405e999b1b038d6