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_derivers
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_derivers')
-rw-r--r--dev-ml/ppx_derivers/Manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_derivers/Manifest b/dev-ml/ppx_derivers/Manifest
index bba96ecf113..535fb7fce0c 100644
--- a/dev-ml/ppx_derivers/Manifest
+++ b/dev-ml/ppx_derivers/Manifest
@@ -1 +1 @@
-DIST ppx_derivers-1.0.tar.gz 1467 SHA256 b03c9a2cd9d3d250761d60790808d31097e4e6d5d84aa67d720a75d5b6137456 SHA512 2e2437094362088f9a1601ca3c2f0b82ec079b9a34e502234aef36158ea7a3f2236f1d2526df1a75bcb851346ebaaf717eaf72253935f7ea4024d3dc20512e85 WHIRLPOOL 9be5c7465334920f559e2c9867a9ff1b919a8dde5275620196c38a4383adddfefbbf9a66e93e9036f9f1100b2af88e97bca5198c0ccac8c3b1433d2ff683e402
+DIST ppx_derivers-1.0.tar.gz 1467 BLAKE2B 94946c5d04e314bfbe146534fb19e88a16670dc3f5d47c15496142dd9a256ebbe4387f24a9fe31b1aee804d064bea0a9136685372399a38ac82dedafe677934a SHA512 2e2437094362088f9a1601ca3c2f0b82ec079b9a34e502234aef36158ea7a3f2236f1d2526df1a75bcb851346ebaaf717eaf72253935f7ea4024d3dc20512e85