summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_here/Manifest
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/ppx_here/Manifest
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_here/Manifest')
-rw-r--r--dev-ml/ppx_here/Manifest4
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_here/Manifest b/dev-ml/ppx_here/Manifest
new file mode 100644
index 000000000000..95096ae69937
--- /dev/null
+++ b/dev-ml/ppx_here/Manifest
@@ -0,0 +1,4 @@
+DIST ppx_here-0.9.1.tar.gz 7225 SHA256 0cd908cb9a62a537af69e6c6e1923d416ef44b47d5d1f18ea7131b000058cfdd SHA512 ca21fb490a4d980616349850b781e4ee02c0eb8a27e8ef9d4092d15ee235ffc504dab1b2a3db44fc6a84fa6b2cdbd67c0c4adbc41fb094b7bb9d4f710193aaf2 WHIRLPOOL daef00dd762c91a1ce253282abcfaf2db81f3d81ad9e963723a864fc315c408442f67260640748cb51771c138e21353dc81dece323f0c1520b1de2c36fb538e1
+EBUILD ppx_here-0.9.1.ebuild 538 SHA256 636c2cb3f9e33f5b1534131afd8d9fba23fa3a87cb61400f01bb9fadbf2b7074 SHA512 2ad8d7d1bdc781bce326f8c535bff2d814e6536194945a7ec27b1ee021bea4a409e5f5a7d5b4de1b3c3e169d9780ce54d195441363d8d68239a584111d00401f WHIRLPOOL 42fd3be6ee9e4c791504197b91876bbd11ef463c1894b7aa81b1bbfc1bf659d8728fe5f91506661873e1a37df0c97bdfe990acc6df97d00bfb98ada1188033d7
+MISC ChangeLog 812 SHA256 55e8ffb4a844c556760785fdc02c0d9e42c1569ed4ca91742c31b6726e64d8dc SHA512 7bb70eed362638041d79bc3cb4c94bd35f68cbae381bdcab9ee36e46775a349d6f6ef3ab98d6e78fd7cb6406bee8e65cb2b2bb0d1add8f90591b292ac4952ab7 WHIRLPOOL e485636af38d80884a4e162d1c9173b882594f570a30d6562842a9bed36c5ae08500cbdf220b7d27c8f810728a8d232d4f377a92475707d26da01ef75b1b00d6
+MISC metadata.xml 331 SHA256 d1fcae4b546c3b62ef32ef651a51c0aaef2bb9649eac093b2ab73e8d9751bc36 SHA512 376ec833654689189c53a872e68ebb9d29a080ce979f7e5c1761a8c86fc2461db9b9292aecb032eaac0d5dbc163b9f0cbbbf8643bdacb0f229d896f185d9be3b WHIRLPOOL 1113aa1c0fbc8e65e0bb5e170e59e7a4b5ed15b6a4097669f800e4b07acbe4887324163bef86ff588a6850eb89f1aebafee9252754d3e2c41787b158d8ed3e74