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_import | |
| 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_import')
| -rw-r--r-- | dev-ml/ppx_import/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_import/Manifest b/dev-ml/ppx_import/Manifest index a4644c2a9d6e..d5294d386e95 100644 --- a/dev-ml/ppx_import/Manifest +++ b/dev-ml/ppx_import/Manifest @@ -1 +1 @@ -DIST ppx_import-1.2.tar.gz 13244 SHA256 f102bcefe72b8a1007ce9854baefac0c20930fe9db71fc81213e13e35016dfe2 SHA512 384a8f955573c66962383f0e3609e4764cb0056e7d5b7e5811fd9fd17e17ac58baea330131b8eb688cd4202d6e6bd5829fba024524f027201244ff10c86e0f01 WHIRLPOOL 53665ec4ab8109bc762c094535d2082befd887af28cd836bcc4f19e41d924d83e140ef4d660166d7d3198042213bed0275e72c1c58650c58039aa5abd25441d2 +DIST ppx_import-1.2.tar.gz 13244 BLAKE2B 538fd11e151d740c601ca88ff682bf4ea84ddaea3fbbc5b54d43310e59baf00ae47ef397763861da8ff1b2af017bb318ec1cd48f8708b9dc2a2c68bf812e1aea SHA512 384a8f955573c66962383f0e3609e4764cb0056e7d5b7e5811fd9fd17e17ac58baea330131b8eb688cd4202d6e6bd5829fba024524f027201244ff10c86e0f01 |