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_derivers | |
| 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_derivers')
| -rw-r--r-- | dev-ml/ppx_derivers/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_derivers/Manifest b/dev-ml/ppx_derivers/Manifest index bba96ecf1138..535fb7fce0c3 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 |