diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-12-09 18:23:47 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-12-09 18:40:26 +0100 |
| commit | b3fe2d62aad18c88bb8d0d4464eb13df7f31515e (patch) | |
| tree | 5280457c8679f262011130141a841b9bf82459ee /dev-ml/ppx_compare/Manifest | |
| parent | dev-lua/*: Update Manifest hashes (diff) | |
| download | gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.gz gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.bz2 gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.zip | |
dev-ml/*: Update Manifest hashes
Diffstat (limited to 'dev-ml/ppx_compare/Manifest')
| -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 |