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_sexp_value/Manifest | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_sexp_value/Manifest')
| -rw-r--r-- | dev-ml/ppx_sexp_value/Manifest | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_sexp_value/Manifest b/dev-ml/ppx_sexp_value/Manifest new file mode 100644 index 000000000000..c97d9837c5a7 --- /dev/null +++ b/dev-ml/ppx_sexp_value/Manifest @@ -0,0 +1,4 @@ +DIST ppx_sexp_value-0.9.0.tar.gz 10666 SHA256 4460c05a8389a4089d97a8af650f2972e4386e0fd91683aa53d4d1197275711a SHA512 7dcb8f70a7938d26fc5a1afea2bf5e77c4996d8e82720206ab9e5a462a59182dcedfbfede49ed83ed50f2683776b75fb5bae00c53fc451b03f6a33e126566e84 WHIRLPOOL a4a51ee6eaebacf3c779302d491992455865ceb83f5dca679e7390c765c324f4e14d3c849abc7e4c6ea8bd90d8d8f08a772a05782ef1f6e060ba0a77c60c279d +EBUILD ppx_sexp_value-0.9.0.ebuild 606 SHA256 bebe5f602b0823293abea13a72753da82142ce156523d19544fbbeec3c01c1ef SHA512 5a2ff310c079ae90f881e79978d907f001e7b5c0a025a20c0740d696c6c949e6fed1b67a9419279a51c97ba440ad87ae9ad50df107ba472cba81fa34e5530ee1 WHIRLPOOL 8ae9b9fdb65bfea59625f147559fe44efefc247098dd12286bae0bf0fdbb1338a88622ebb2dec22967c9480e4abc5dbe78da91132e3c5aeca91e553293eabf47 +MISC ChangeLog 869 SHA256 24d8b05d01335f48fc350f265f2b879e6628baaf8586da0a5560eee614d98426 SHA512 11d5bfd159743792d2301980e594b07f2e5e3b4c5d95bf898020865c10d13b86ebe5c0afc8ae51658eb5d098a987b080c360ef6eaa266c3e7f009d3a448b46e4 WHIRLPOOL 1b55dab50d2dcd8905cb13f2dbd5b531ab482d94223c9ff964f1b5ed881b2fc9d6ce9268ad4a6cb7c0df2644128aba32d44deeda4fa1741b22eb2ff0d2222293 +MISC metadata.xml 337 SHA256 46f11e6aa4e3d0e8e236f4828bddb9e860168ffced4f58e4c43c3fa27e4e6143 SHA512 b7e6c3c4307dc7902036b20a228bde3a48ee9f02a6acc63ac2ff79547897f2526d71955bb8d1f35cd4cde78023aa19effbe8158d4a8177c806cecf3eb514636b WHIRLPOOL aeadeea6fbe3f6aa6904639600e74be5f3649b465d5ad387048b8f0eb7fbe861d20042ae3ea87bec383f058159ad17bde39298332222a4502108adb8eaf1243f |