summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_optcomp
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_optcomp
parent4cee9341acfd72e9917fea575e0661b0588a0131 (diff)
downloadgentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.gz
gentoo-b3fe2d62aad18c88bb8d0d4464eb13df7f31515e.tar.xz
dev-ml/*: Update Manifest hashes
Diffstat (limited to 'dev-ml/ppx_optcomp')
-rw-r--r--dev-ml/ppx_optcomp/Manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_optcomp/Manifest b/dev-ml/ppx_optcomp/Manifest
index a2138473e5d..97571ab30d4 100644
--- a/dev-ml/ppx_optcomp/Manifest
+++ b/dev-ml/ppx_optcomp/Manifest
@@ -1 +1 @@
-DIST ppx_optcomp-0.9.0.tar.gz 14611 SHA256 6dcbea3257d104dcf1a3a89c8cf51ec88ba79e07f9ca30caaa1da4fbb9b66fbc SHA512 ce4a5049045458533b783b99b7569e72e074bd425a81315d43fcab26dbc2a4b141cfda2b2365c69b3d0251f2bf0b8c8f0d14fc8883f1a0f4edae824776565a9c WHIRLPOOL b8fe502dcb21b103e890e48c7f4a4764503dd593bf1160c7e2cbfc78301cfd0de58625670bc25bc5c35ece73b68a0c8034015407adde487e74598afd5754a31f
+DIST ppx_optcomp-0.9.0.tar.gz 14611 BLAKE2B 6fc431fd3ed173835a48814718a05b3ae619f182f4c008415dba77c88bfeab780e6fc49c4faed2ee4e362b6a151544b1a707651dcbfdbfcdce979a2a3d6d6c02 SHA512 ce4a5049045458533b783b99b7569e72e074bd425a81315d43fcab26dbc2a4b141cfda2b2365c69b3d0251f2bf0b8c8f0d14fc8883f1a0f4edae824776565a9c