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_deriving | |
| 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_deriving')
| -rw-r--r-- | dev-ml/ppx_deriving/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_deriving/Manifest b/dev-ml/ppx_deriving/Manifest index d3e25267feef..efe85125d052 100644 --- a/dev-ml/ppx_deriving/Manifest +++ b/dev-ml/ppx_deriving/Manifest @@ -1 +1 @@ -DIST ppx_deriving-4.2.tar.gz 48327 SHA256 488618f652bd30baa9f6d42d9e4168c97b8e71c60e7d54b5018a0da097db016f SHA512 084526157d6f4b41f7ad73157c5edb54d5bb9130d706525031670d8495ede8af5545302f442c2d2c506772201b79ccc93bdc7fead9455d3a59977ddfa9c3284d WHIRLPOOL 305f3283d965d0cdf4eb7abc0b63e6a960785a629569e97d8654d0aee9915b20471f127bf950191d459dcda209b0c33991a899a60e95b195e0044c3e21dc8406 +DIST ppx_deriving-4.2.tar.gz 48327 BLAKE2B 8ce5ccbfb7992fbd5e9c777ad0b577f8846d92df21926a877fb8f7b6804acc4fa2fd78586fc209c3bd83b8496eb6f8e8ee37c39e0c7462fb55f39389356f3c8f SHA512 084526157d6f4b41f7ad73157c5edb54d5bb9130d706525031670d8495ede8af5545302f442c2d2c506772201b79ccc93bdc7fead9455d3a59977ddfa9c3284d |