diff options
Diffstat (limited to 'dev-ml/ppx_string/Manifest')
| -rw-r--r-- | dev-ml/ppx_string/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest new file mode 100644 index 000000000000..fb237031a530 --- /dev/null +++ b/dev-ml/ppx_string/Manifest @@ -0,0 +1 @@ +DIST ppx_string-0.14.1.tar.gz 4807 BLAKE2B 2ce5cf2d5dd913f05e66c24ea5be2ce4a56c59b7e5faecf003a573274bfaef3834935276e110fba1d0af3a3ef9d6ca730622dc780ab6063945a01aa3d6900a43 SHA512 2b570ca3d248f89ee1903e6ea40fbcd9c5c72809ff1f42dc67e9d41f6c297465ae47ffdbeda9f263dddf14c9c460bbbdee01243cef838d0ec49493c3b5644aee |