diff options
Diffstat (limited to 'dev-ml/ppx_bin_prot/Manifest')
| -rw-r--r-- | dev-ml/ppx_bin_prot/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_bin_prot/Manifest b/dev-ml/ppx_bin_prot/Manifest new file mode 100644 index 000000000000..d553bfaa2200 --- /dev/null +++ b/dev-ml/ppx_bin_prot/Manifest @@ -0,0 +1 @@ +DIST ppx_bin_prot-113.24.00.tar.gz 68599 SHA256 e54749d90801c726cff6a2df97f25b37fdc02d182813152e09c1f1b0f800da08 SHA512 990a202e61c38ded24b8ab268b36c7d50c99108188f64d6734afe2507ed695a8bb300ba4babf2d5d7e3d7f6eb049f75c8b666d526dd117a41a03f6983faab121 WHIRLPOOL 7bc7fde7169e39d043996aa9385e1679b481736d5621a8f861d7ffdfc563410baf7d8a89ba47cef418b3a2c9b1173f10891eb71a7e3ae36bd1e51a2f1975ae0b |