summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2017-12-09 18:23:47 +0100
committerMichał Górny <mgorny@gentoo.org>2017-12-09 18:40:26 +0100
commitb3fe2d62aad18c88bb8d0d4464eb13df7f31515e (patch)
tree5280457c8679f262011130141a841b9bf82459ee /dev-ml/ppx_compare
parentdev-lua/*: Update Manifest hashes (diff)
downloadgentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.gz
gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.bz2
gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.zip
dev-ml/*: Update Manifest hashes
Diffstat (limited to 'dev-ml/ppx_compare')
-rw-r--r--dev-ml/ppx_compare/Manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest
index 53124cd0aeb..123942822bc 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