diff options
Diffstat (limited to 'dev-ml/ppx_compare')
| -rw-r--r-- | dev-ml/ppx_compare/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest index 53124cd0aebe..123942822bc3 100644 --- a/dev-ml/ppx_compare/Manifest +++ b/dev-ml/ppx_compare/Manifest @@ -1 +1 @@ -DIST ppx_compare-0.9.0.tar.gz 11760 SHA256 9ec627eae013d91886c5569573ddf7e6c0ac893b4575b111c24750ce5ac15007 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe WHIRLPOOL 9bd52105706c6ab7582258f08060feec70f2ab14e1f4a68560a2edd5eae5ad50c35eeeaf81f340a304b923f7c49315a5a811d9c2c8be741653c917bb01e1c370 +DIST ppx_compare-0.9.0.tar.gz 11760 BLAKE2B 8db18a56185371e56addddeac4ec94e1260f06edc7dbc835efcf2f6788f42c36746858fd96e7fc94aaaf52b118a95581388276b90d8d489a9f4707af2c157811 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe |