diff options
Diffstat (limited to 'dev-ml/ppx_fail/Manifest')
| -rw-r--r-- | dev-ml/ppx_fail/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_fail/Manifest b/dev-ml/ppx_fail/Manifest new file mode 100644 index 000000000000..ff19cd3aa4ff --- /dev/null +++ b/dev-ml/ppx_fail/Manifest @@ -0,0 +1 @@ +DIST ppx_fail-113.24.00.tar.gz 51284 SHA256 50d565d294747f19f26fb7f82fa00cf431d7099f9994b9ee55f14fd76c3b7ecf SHA512 453e043c5b93c7691a3f9cdf7343308b5336ca28c192571db78bbfcbb693ab82650bc66cbb9b409b512733ab2c61054fce769be6be9007eb5e7825917a07068d WHIRLPOOL fb62906c2252da5c03886ae1cc9c54d4891d85dd8ecf2c31191048db823f6b289c872c940b65cced899ee7ee96b486888bc94ba57501a27bb55892717c4264fe |