diff options
Diffstat (limited to 'dev-ml/ppx_optional/Manifest')
| -rw-r--r-- | dev-ml/ppx_optional/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest index 1bd4bc45073..ce42d2ddd1c 100644 --- a/dev-ml/ppx_optional/Manifest +++ b/dev-ml/ppx_optional/Manifest @@ -1 +1 @@ -DIST ppx_optional-0.9.0.tar.gz 6940 SHA256 4f9cae512eab8c3457329d9ca0655f8ea9ca0d1465ceb7d13734e0972912d6f2 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0 WHIRLPOOL 2abb146131f62d7f8da17bd67bdeaf30ac495a3ac63ccd3506c81aa20f1287671ece5cd20e6fae7fa3e1177b4e6b6e0b10fb4252b623455134a0d708c6c1859b +DIST ppx_optional-0.9.0.tar.gz 6940 BLAKE2B 28b9ab2b8cc20f295e927533ff9eed694289987914105758d3c014d06064bd21016d44bc7ad72b331a4c887848ed9c2dd75a0a48b6d5f330de898087596d1cc3 SHA512 c341bc8e64b7caf7af5c878747697330db84b14959f22930dd6919cc861dce847983771cbad2ed7800ab8c64704e88fa0d8db3ca7c8f2924bf785a4dccd17fa0 |