diff options
Diffstat (limited to 'dev-lang/mercury-extras/metadata.xml')
-rw-r--r-- | dev-lang/mercury-extras/metadata.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dev-lang/mercury-extras/metadata.xml b/dev-lang/mercury-extras/metadata.xml index ea24723e851e..d6a4b0b729f8 100644 --- a/dev-lang/mercury-extras/metadata.xml +++ b/dev-lang/mercury-extras/metadata.xml @@ -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> |