summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_driver
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_driver
parentb284a3168fa91a038925d2ecf5e4791011ea5e7d (diff)
gentoo resync : 15.12.2019
Diffstat (limited to 'dev-ml/ppx_driver')
-rw-r--r--dev-ml/ppx_driver/Manifest2
-rw-r--r--dev-ml/ppx_driver/metadata.xml7
2 files changed, 3 insertions, 6 deletions
diff --git a/dev-ml/ppx_driver/Manifest b/dev-ml/ppx_driver/Manifest
index cd7b443c0dfe..aabe8115cd8d 100644
--- a/dev-ml/ppx_driver/Manifest
+++ b/dev-ml/ppx_driver/Manifest
@@ -1,3 +1,3 @@
DIST ppx_driver-0.9.1.tar.gz 28637 BLAKE2B d787ac91713bd750d2d2bde5830df3abb1a07be6672000d7a6de6c125a7627e7a5b94aa9f8f87e2c6c57a7a92073c44e18c7285575aad02f5db9c7b4419647d8 SHA512 1e3647e34fb9e6d44b783fae1fce21413e5591f8934c3d2ddac3d1b37019b0d95117c8d64abf14cbfe4f67147612371ec1eb76b477763b062206ffc9b46688d7
EBUILD ppx_driver-0.9.1-r1.ebuild 584 BLAKE2B fb729e4ae41008ce616f784cee3a81048c46df5e27050b4118937b7fe71b738cb75813c06db95e161dcd43c587b8659d43e8927c59b9b9057e51ae826925824a SHA512 13c48ae64e7d2c8f2c5e39125873eb573d2aace46ad87989e11bde24d16b3bc4ca47a340322adec8a22834f74495e2f4dd7e6e1436932bdaa45e469f7f46ef91
-MISC metadata.xml 333 BLAKE2B 968ad46caa7f80948178a2f41ddb2a6ded0315f9865c953b99a523d3ff44a75017cac2064aaa1276767509c38bb0e0fd577cfe2a60b1467651f45c1909027995 SHA512 1cfb21c42adf5c94fb02f4621ed9e77acc832ba7c0d7bebee338ff5f617431e5a0a682945a22cd58143fa5cf61758c70694a6f2697a6b1a49107029e31fe738f
+MISC metadata.xml 253 BLAKE2B 5181111ba67681e3faf163903ba46c833f47b1ffc8baa2b6a5a13926508c46fd47553835b82f803d0a5a1f6220daec42a1bb7d9c4f00b6681b3a2d21ff1cbecb SHA512 3140a003b9eda9761883e478972d61fe343e5a396b410ac8bfa37d19c25ab4dadc1d911a43076d3591d9416c80722e256b10893e20e0996d77e020e4f5b70305
diff --git a/dev-ml/ppx_driver/metadata.xml b/dev-ml/ppx_driver/metadata.xml
index 39e4d98cd1d4..305fe7348cce 100644
--- a/dev-ml/ppx_driver/metadata.xml
+++ b/dev-ml/ppx_driver/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_driver</remote-id>
</upstream>