commit: 96ba2c936cb27edeac858345b3db06830697e03a Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net> AuthorDate: Mon Jun 3 08:24:50 2024 +0000 Commit: Florian Schmaus <flow <AT> gentoo <DOT> org> CommitDate: Sun Jun 30 20:18:05 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=96ba2c93
dev-lang/mercury-extras: add github upstream metadata Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/36940 Signed-off-by: Florian Schmaus <flow <AT> gentoo.org> dev-lang/mercury-extras/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dev-lang/mercury-extras/metadata.xml b/dev-lang/mercury-extras/metadata.xml index d6a4b0b729f8..1736dbb41e2a 100644 --- a/dev-lang/mercury-extras/metadata.xml +++ b/dev-lang/mercury-extras/metadata.xml @@ -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>
