diff options
Diffstat (limited to 'dev-ml/ppx_compare/Manifest')
| -rw-r--r-- | dev-ml/ppx_compare/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest new file mode 100644 index 000000000000..9173c3cdd4ff --- /dev/null +++ b/dev-ml/ppx_compare/Manifest @@ -0,0 +1 @@ +DIST ppx_compare-113.24.00.tar.gz 57732 SHA256 1a7ce91dd28a1fdf0498949a7c2edf5850715fa7a7c4d2c8f80a88443df16ccf SHA512 ede556a29f77d8da4b0cdb5a97d6b298a0a2a8afd2a612f546587808a8a211d9c4aed86e7a33cd5357c130fba9a2d716e6c2cc4381ebe44564aa4a4eedabaecb WHIRLPOOL a45f05f967726620fcc413cdc4a9641c282af442b555c9f244346b6caba469e5f7060970e3985012babf66d78122b7a4034c8859d35b34277f734fc51242f16c |