summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_tools_versioned/Manifest')
-rw-r--r--dev-ml/ppx_tools_versioned/Manifest1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
new file mode 100644
index 000000000000..81406d862c20
--- /dev/null
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -0,0 +1 @@
+DIST ppx_tools_versioned-5.0beta1.tar.gz 43709 SHA256 c558f9f946c9237511ed7b755868acfb6eb5ee6196da0e1c8361c2adb8d8bc9f SHA512 e536a41126d28addf54752ccb851a5dfa2e8ecf16770a1ae891820bb0a8606eb72660f56349fec9f41d208103096e4e5c3d9834edf255ba2349b09aaaf9aacf2 WHIRLPOOL fbf74737a18ac6d0eecadc38849d902dada5121fe55ee1a55fbc435f1c6f69b3c1f2b87b729623ef971a960979dca367f295cb10d19c9125efb758b8055fae7b