summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_optional/Manifest')
-rw-r--r--dev-ml/ppx_optional/Manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 1bd4bc45073b..ce42d2ddd1cb 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