gentoo-ebuilds/dev-lang/mercury-extras/metadata.xml
Volkmar W. Pogatzki 96ba2c936c
dev-lang/mercury-extras: add github upstream metadata
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/36940
Signed-off-by: Florian Schmaus <flow@gentoo.org>
2024-06-30 22:18:05 +02:00

11 lines
332 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="tommath">Enable support for tommath library</flag>
</use>
<upstream>
<remote-id type="github">Mercury-Language/mercury</remote-id>
</upstream>
</pkgmetadata>