mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-05 14:07:27 -08:00
d18662db34
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Florian Schmaus <flow@gentoo.org>
12 lines
338 B
XML
12 lines
338 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<!-- maintainer-needed -->
|
|
<use>
|
|
<flag name="trail">Support Mercury trail grades</flag>
|
|
</use>
|
|
<upstream>
|
|
<remote-id type="github">Mercury-Language/mercury</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|