gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-lang/mercury-extras: add github upstream metadata

Browse Source 
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>
This commit is contained in:
Volkmar W. Pogatzki
2024-06-03 10:24:50 +02:00
committed by Florian Schmaus
parent 73ee547e3f
commit 96ba2c936c
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -5,4 +5,7 @@
<use>
<flag name="tommath">Enable support for tommath library</flag>
</use>
<upstream>
<remote-id type="github">Mercury-Language/mercury</remote-id>
</upstream>
</pkgmetadata>