summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_sexp_conv/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_sexp_conv/Manifest
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/ppx_sexp_conv/Manifest')
-rw-r--r--dev-ml/ppx_sexp_conv/Manifest4
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_sexp_conv/Manifest b/dev-ml/ppx_sexp_conv/Manifest
new file mode 100644
index 000000000000..18778c1deb52
--- /dev/null
+++ b/dev-ml/ppx_sexp_conv/Manifest
@@ -0,0 +1,4 @@
+DIST ppx_sexp_conv-0.9.0.tar.gz 28000 SHA256 3f79fdc1caa1a8ba8e02291c1572e5524ae057de31f62b62766d2ec06a989091 SHA512 af3d28a3cdb7c796549a2598c218f69a69d58da715ef2d16077c3adeb22823fa7bec6bc0d8cb6caaf2a0adb56dfcb39d667975959251fb310b69d6abe8302845 WHIRLPOOL 8f54bdaf830801ecbd1682aedbf1384e88d4fb85f575332150729e927d4b9a4deb4c3ed4e0473cf64502db4cc393c0025e087c92e41b306e42445c3da0a931c6
+EBUILD ppx_sexp_conv-0.9.0-r1.ebuild 667 SHA256 6d26d3460ec32fa9c9f81332b068a38c869183c9185ce1377ec6a40d54a01b8a SHA512 77043ae97c4d80b18c5e66d557c2140fb77a8912760e60baba095c478d4c21c01cba234176985b15aa1b9d8ae378dc7f2e19c3254487aa75d770b1ebdbd84224 WHIRLPOOL 4eec6c2c82fc8fbbb419da94cbf10562c2d4aa549b973e6400d7c405378c938177f4bf510137fce5c767180a5ea6e1b5801b20bb5572fa93904ca667dc420deb
+MISC ChangeLog 1471 SHA256 534546b093117ea289faaeaf9a2b7785c9c6b31a7f9f4d245aecc83a0d89a461 SHA512 13d41df8900e269d0a5057dce97dc421570b888124d44317ff7cd63176ee6a272c0398b421511f06fb558dc74e3cf5b1175a25cc535c66f7830393c5f02ebb99 WHIRLPOOL eeb1d29e9632608f6c7c751ff5cc0594572bf71a94be5eddb028e2c84514f5d770d9cf6659ad31977211a61824b2a48e89d71cf75b25dd8fcf31ef8ff36d24b7
+MISC metadata.xml 336 SHA256 7e7361a3cd86866e19e3e49cdf9a1749d9fb5ed40884d1d6ada540c4a5e4b41b SHA512 88ef4d5c81b2b79d53153e588c8ddf456cfc53bfe22c8532669e2c9ace9bd43c322a0d28df32c6f293c455027f4386f554bc50a27d55b605f8785e67a7a7e1e0 WHIRLPOOL feab84f2684a6fc308678acb05a355cdbd27c26ad203b90a93e03677a41c9cfead174551fda8aa124d1917938f7d2496778a71ea0c04d5a0404e4883ac5cb8c4