diff options
Diffstat (limited to 'dev-ml/ppx_bench/Manifest')
| -rw-r--r-- | dev-ml/ppx_bench/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_bench/Manifest b/dev-ml/ppx_bench/Manifest index 78d8db5a86d3..365375c2dcce 100644 --- a/dev-ml/ppx_bench/Manifest +++ b/dev-ml/ppx_bench/Manifest @@ -1 +1,2 @@ DIST ppx_bench-0.9.0.tar.gz 11064 SHA256 e1491b585e1c1a76d05efa2851436d9e389905a65bb53fbfd5cb8b4b7f311ea0 SHA512 c82ae501fb9642e75ba16cc263dde7c18efcf3a5b2f2e91eabe57b85f15fb2ead4c41d9312c2301cb2062a4327db7985421d1503b6c7f7024f80df83075fc3f9 WHIRLPOOL d1eb770731a10c357a5cb0bfdeaa4b017cf7f8dd8beadb3f785534a0afdae26e8b2339f7d600d080aebac16906747a7e258580f7d55cd912e4b636c4af0ad30e +DIST ppx_bench-0.9.1.tar.gz 11097 SHA256 4790b8bf556a50577e4cc236fe7b708e1c72114c2d9af9030409ea7b4536c665 SHA512 1963525719178e34f50ee8dbe3cabe8582ffc08835e542d1ae593d6a250d4f841be53c96fbc203d620e11f9ad2a9f591e545656c3b254bd60db614ec1e06947d WHIRLPOOL 0517c048ed861b519e0a4d2530614ec5ee81000da4228fb040f77b31b56a4664808da8cbcf5ecafd8ac6b5b9cb63de62f7591a3b5ba65710720b0fe7e1a1c335 |