summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_traverse_builtins
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-12-15 18:09:03 +0000
committerV3n3RiX <venerix@redcorelinux.org>2019-12-15 18:09:03 +0000
commit7bc9c63c9da678a7e6fceb095d56c634afd22c56 (patch)
tree4a67d50a439e9af63947e5f8b6ba3719af98b6c9 /dev-ml/ppx_traverse_builtins
parentb284a3168fa91a038925d2ecf5e4791011ea5e7d (diff)
gentoo resync : 15.12.2019
Diffstat (limited to 'dev-ml/ppx_traverse_builtins')
-rw-r--r--dev-ml/ppx_traverse_builtins/Manifest2
-rw-r--r--dev-ml/ppx_traverse_builtins/metadata.xml7
2 files changed, 3 insertions, 6 deletions
diff --git a/dev-ml/ppx_traverse_builtins/Manifest b/dev-ml/ppx_traverse_builtins/Manifest
index 1470699f6066..50417f07f25e 100644
--- a/dev-ml/ppx_traverse_builtins/Manifest
+++ b/dev-ml/ppx_traverse_builtins/Manifest
@@ -1,3 +1,3 @@
DIST ppx_traverse_builtins-0.9.0.tar.gz 6328 BLAKE2B 1e111d97876fb97826a04dfddbd1289e4b64ca93cb09e2f8692fcd5c1b87eb09259938b31662ed712d3e3926cd3b8edecf967d85ce9846805c74b28a4359e02a SHA512 c8d77138f8fcd4d440870eb9126f5aca2d9fa917fac6bd9aa7f6dd4fb3e75f5860efbdc312ffc23b375808c33e1527726318918bf7bee61f470ef3a2cb40f6ba
EBUILD ppx_traverse_builtins-0.9.0.ebuild 473 BLAKE2B db026b980369efc4ca5549653a0ee251fc5ca06441cc0eecd717e5bf5eb7eb932ff94b3bd56f6c0fad03b99024d43543a4db0b983e10d20c0e62b02b35da3ee4 SHA512 70918525a322d61ee9f0f58532f311fb7cfbf60375d2b9b1a5e0daa430983378aaef13d2c1b6ae85e70b69bbb0c5133ddf9762dcc92d9aacdf811c60918b0651
-MISC metadata.xml 344 BLAKE2B b264bdddf539519b33824f51a4db6478fe054d7b1d9d2c0590f3f93bd1230cb54392bcafc3da5164ec14e8aaf3ad9fcfb43cd547bb0e363d4d8014f57f588a85 SHA512 3ea69d826091c43f6b73d688cac7c96aec0bcab05f3281bbe31bb3342247d1a8dc19fa081edbb84ca62114081d46dedbd7042ef3ae3b9520f1d5b70a2ec9cd6d
+MISC metadata.xml 264 BLAKE2B f92c2dc9a8766e3e84530fb113e5bec9ec7a91d6351248f38cc1dd93fd0acf2c5dcfe79680b204b4384e74e939c83385492c6526cc9707bed98e721b7bd2e023 SHA512 b2454096ba7a7cedeaf3cca762d7e57fa69328631f7275de166a3b771730707c2b63888d1c317cdeb853677e3ddbfcf657e77cbabfcabc424cb848ce990106fa
diff --git a/dev-ml/ppx_traverse_builtins/metadata.xml b/dev-ml/ppx_traverse_builtins/metadata.xml
index fb3dfe0dac1c..424c533ad3f3 100644
--- a/dev-ml/ppx_traverse_builtins/metadata.xml
+++ b/dev-ml/ppx_traverse_builtins/metadata.xml
@@ -1,10 +1,7 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
+ <!-- maintainer-needed -->
<upstream>
<remote-id type="github">janestreet/ppx_traverse_builtins</remote-id>
</upstream>