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_custom_printf | |
| 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_custom_printf')
| -rw-r--r-- | dev-ml/ppx_custom_printf/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_custom_printf/Manifest b/dev-ml/ppx_custom_printf/Manifest index 9856eae085cf..d71f4fa73f8c 100644 --- a/dev-ml/ppx_custom_printf/Manifest +++ b/dev-ml/ppx_custom_printf/Manifest @@ -1 +1 @@ -DIST ppx_custom_printf-0.9.0.tar.gz 11527 SHA256 9c3c4be548d11a9b87f6a29bdc7bcf5509b4f20de5c309cf331ce45dcf314f8f SHA512 7608e09aac26f4f51d124d30c25a510abb73bea606007524a5563f5bb2c0e71f1ff033edb32c48f0c69656e8c3924b57186639812b1a647ce31f7ae15dc466cb WHIRLPOOL 729c03f257cb6edbb29ada1ed07f1f23952d5d369e2cf1b75700d01a24997a7f862228947256b729b20957614bf505ee878d576d90595ede0bf66480c7867803 +DIST ppx_custom_printf-0.9.0.tar.gz 11527 BLAKE2B ad1791f1bad3c8583e67ca6300e98e8a7a047f723bbaa7c80cf6224f7333e7893fce7289456c39f6959089f15cc0da20106b33689ab198b1f47f6dc0bd853c77 SHA512 7608e09aac26f4f51d124d30c25a510abb73bea606007524a5563f5bb2c0e71f1ff033edb32c48f0c69656e8c3924b57186639812b1a647ce31f7ae15dc466cb |