summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_bench/Manifest')
-rw-r--r--dev-ml/ppx_bench/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_bench/Manifest b/dev-ml/ppx_bench/Manifest
new file mode 100644
index 000000000000..cd0b45167e12
--- /dev/null
+++ b/dev-ml/ppx_bench/Manifest
@@ -0,0 +1 @@
+DIST ppx_bench-113.24.00.tar.gz 56546 SHA256 d21d835c77553b6efeca8d5be67165c6ed7cf14dd73f96264516173386b62917 SHA512 11ae8bcbc4d2b21ca7b7b99d404c3fc80bbf6ac12321b81a5af93b2754232cff26eea01bdeebd40b68a8f10e785cb29c8a051e350205c2759eaeb38ef01ae759 WHIRLPOOL 7b879a46d4f5864b934fb7626431149c17bf97427104c6d3e7c3f2c84f097c1f2d9d317205104841ce77fb26ea6281a309ebd42df31e42082ee4f7a75677f8fe