summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_optional
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-02-02 01:39:05 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-02-02 01:39:05 +0000
commitfcc5224904648a8e6eb528d7603154160a20022f (patch)
tree3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/ppx_optional
parent2fd57282f0262ca084e05b0f2c63fbada395d02b (diff)
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-ml/ppx_optional')
-rw-r--r--dev-ml/ppx_optional/Manifest2
-rw-r--r--dev-ml/ppx_optional/metadata.xml4
2 files changed, 5 insertions, 1 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 295ec839f8d6..f4afbcec6d23 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,3 +1,3 @@
DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
EBUILD ppx_optional-0.14.0.ebuild 523 BLAKE2B 4682dabcc4c6f6cc91226d7c33827dc26f74d3618f89c5246b9a8f063a13b143994a3a659d79970a071d08654778a96154a15c2446eaa748fc1d0f7cc7536266 SHA512 99d2529aba45394cf9c0bce1b3c3489c8635821a7c8e74bdc2b42c958c5c4f3b029ba3dacb6587ce051cca64b7d4834ce9e7b90e335781c1bcd24f106c87c099
-MISC metadata.xml 333 BLAKE2B 578ce57ae8d5054c42a9f8122983740ba7da152239aa9ad767d082b158deba13c700b6d11680446cb4a1fce890f957e5c3ed88be2de8d32e34a54c8f6011f3c3 SHA512 8b410066c2866efe070865ff08a58a3353f3f0589ef483b74a9a8d61befaef18a1535bb116b0df157b63effae54a4d99060f585e398696252a5ffa1c3585df46
+MISC metadata.xml 426 BLAKE2B 9fabba8035f75668823c0cc2df9c5c3dc5d6f74ec409c70fc356d396f46845bccc742aa60260dc2b7c743eaa18bb33b741ccee16c322ca7f3fff343701e51936 SHA512 ca968cc640b2486e5ffb67fdb8c3597843c625391456c6b8fc072dc3a28e77f05de2a37df0eeb9680badc4312f7b67f642fe1fe4e8355215fa814e9e715e7898
diff --git a/dev-ml/ppx_optional/metadata.xml b/dev-ml/ppx_optional/metadata.xml
index 3b7c6eee710d..45161a1ccd80 100644
--- a/dev-ml/ppx_optional/metadata.xml
+++ b/dev-ml/ppx_optional/metadata.xml
@@ -1,6 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
<maintainer type="person">
<email>gienah@gentoo.org</email>
<name>Mark Wright</name>