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_core/Manifest | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_core/Manifest')
| -rw-r--r-- | dev-ml/ppx_core/Manifest | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_core/Manifest b/dev-ml/ppx_core/Manifest new file mode 100644 index 000000000000..d4245d110ddf --- /dev/null +++ b/dev-ml/ppx_core/Manifest @@ -0,0 +1,4 @@ +DIST ppx_core-0.9.0.tar.gz 44525 SHA256 43c420b1d28628283ef7b5f645f02e5db1ccab51c2b0ddf6fe777cc3b123f0fe SHA512 04b0e096aa545c27f040feeea8745078e0fb9dbe4816ade6d3f39b6690da669c6c786334381dbccd74dfd46514ae88c6475b14db8c3216167a6acfea79601e06 WHIRLPOOL c5f8cbb61904ad32e611111ee4737554590d0e8180ae0d786e0bef4bdca53c3b5fb05dc031fe0bb4bd64ae542cbbf0105106ff0af07d049866a5c6556eb66b86 +EBUILD ppx_core-0.9.0-r1.ebuild 595 SHA256 d33a87e64ea1ee7ba2a857b880600838d04370db587077ef6194dc3edc9641be SHA512 9a06c9e19f01ef6ffff4f3f186e6654f1946230f12256409e421ad0f1acc9e9a81d5835465d274f4c0fafc28db010ee57c3ade3bd25d3623975974ce63deef8f WHIRLPOOL 7c627e19694b938687d57dabf21566283ec5ef7dbbbbc92f50ca501733e3783caab397211e8c211f0d5455610d3d1f00ccff2cbba5caada22a104b59ef199756 +MISC ChangeLog 1239 SHA256 a1ff0769b40b56e83e34988867c8785bf071b2613b1de47997f57cfdfb1e3901 SHA512 6880c8732b7b140f1788be3ab304060ff4c729fa72b2998de9757dc1c361e9645cd770db7795d16f1cb12a73bd153ac50db9ace3dfa82c0e9d3474768c8ef3c2 WHIRLPOOL db05d1b4d19b86c246f1e8fcf023c118917e29be5afae8ba042f638a15441d2d901813f31ddf9676cb0b6b720bc44d8020f3cae184c81016cc35fed198041ee8 +MISC metadata.xml 331 SHA256 3f13c3301ef2655886898569e0fcdb361310ddb5b6fff07295ffa5d1b151af8b SHA512 a8a8a4542c5ab077b314a3dbc586e013529424e5a39b03eee87aadb713ef9df2be408907a8d1482c08b96f9deb646e027b1815359ff4a4b3aa33ca6b9d68310f WHIRLPOOL 90a257f0d93aae55fdcf7fcdb4c93775f9265d7b76221f0ecbcbf2fa89463c2b554125a0cad84f927cbd2cb4701dbb2ca95554f2011ce5872cff65870379a18a |