onkelbeh
/
GentooRepository
mirror of https://github.com/gentoo-mirror/gentoo.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Reassign keri's packages 

Signed-off-by: Michał Górny <mgorny@gentoo.org>
This commit is contained in:
Michał Górny 2024-01-17 20:41:25 +01:00
parent 16566ac69d
commit a05b3f3669
No known key found for this signature in database
GPG Key ID: 639ADAE2329E240E
5 changed files with 5 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
dev-lang/mercury-extras/metadata.xml
View File

@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>keri@gentoo.org</email>
<name>Keri Harris</name>
</maintainer>
<!-- maintainer-needed -->
<use>
<flag name="tommath">Enable support for tommath library</flag>
</use>

5
dev-lang/mercury/metadata.xml
View File

@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>keri@gentoo.org</email>
<name>Keri Harris</name>
</maintainer>
<!-- maintainer-needed -->
<use>
<flag name="erlang">Support Mercury Erlang grade</flag>
<flag name="trail">Support Mercury trail grades</flag>

5
dev-lang/mozart-stdlib/metadata.xml
View File

@ -1,8 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>keri@gentoo.org</email>
<name>Keri Harris</name>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>

5
dev-lang/mozart/metadata.xml
View File

@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>keri@gentoo.org</email>
<name>Keri Harris</name>
</maintainer>
<!-- maintainer-needed -->
<upstream>
<remote-id type="github">mozart/mozart2</remote-id>
</upstream>

5
net-misc/pedro/metadata.xml
View File

@ -1,8 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>keri@gentoo.org</email>
<name>Keri Harris</name>
</maintainer>
<!-- maintainer-needed -->
</pkgmetadata>