diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/ppx_compare/Manifest | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_compare/Manifest')
| -rw-r--r-- | dev-ml/ppx_compare/Manifest | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest new file mode 100644 index 000000000000..f80b65263096 --- /dev/null +++ b/dev-ml/ppx_compare/Manifest @@ -0,0 +1,4 @@ +DIST ppx_compare-0.9.0.tar.gz 11760 SHA256 9ec627eae013d91886c5569573ddf7e6c0ac893b4575b111c24750ce5ac15007 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe WHIRLPOOL 9bd52105706c6ab7582258f08060feec70f2ab14e1f4a68560a2edd5eae5ad50c35eeeaf81f340a304b923f7c49315a5a811d9c2c8be741653c917bb01e1c370 +EBUILD ppx_compare-0.9.0-r1.ebuild 598 SHA256 89d68492b6628b48a7931bab3e75df0f7a328c5da9177119151d970421cc914a SHA512 01a3077b1838e41dbc7eaecd5dc8592d999a1b0476b0136c75df22973ce4baace0b8fcd72ba92e27ad87f7287e30cf3b40d73ec137faf306b6f4f2d64bfccc62 WHIRLPOOL 774b67271fea6cdbfcaba98d87997ee802e96ab393c1cf647c0eb1fece552e50713219b94158b87e4e03bfdc4184c18dfe155671167d9e090099d4420cd606a4 +MISC ChangeLog 1054 SHA256 17085ef9efb08a46b34bbcd317eba210fb1f462f60e53f0439cd1daede0f046f SHA512 76b3fbd1c71c171a4d770edf909dfe30bbf6f2478ca22a4ace3a26e38d292071924f2dbf4ff3cc25f8539134f86aa2c67f43a9c19cec289d6aca907cede46f8e WHIRLPOOL ab35326c14796c22a7fb7402c2bd0315c84e71cb5106f6765534735ac3e3a7c67a1c64deeb06f707cff33852f4eb6ff4bb5f4aa48ac5979fb2402dc58ed81445 +MISC metadata.xml 334 SHA256 102adb9fb4f047fe0d036541349d727ac82232566c8eac7b2d9a3050a4e37439 SHA512 655c5cf4ec2e1d8e14c3c7e72e964e6bb1ddd1a620675ec140cd63b2c4b70cda83234aeae10d4b8c6cd41386688f3bbe3bde4c83585437d74be4f0f629be3ea1 WHIRLPOOL 8728c0f5b673f1ff5891ea3daa25394308f17445f1622eca81a138ac8758efb4a8a0d466e29879edd38c564d6106763300e5fd66aef4de8a4b12a14345c261fb |