commit: 8e94639e5ffafde0a8295cc2f067e127cf00382c Author: Eli Schwartz <eschwartz <AT> gentoo <DOT> org> AuthorDate: Mon Sep 9 03:47:51 2024 +0000 Commit: Eli Schwartz <eschwartz <AT> gentoo <DOT> org> CommitDate: Tue Sep 10 01:04:11 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e94639e
sci-mathematics/twelf: add github upstream metadata Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org> sci-mathematics/twelf/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index d4994fb246a4..938124fd245e 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -7,4 +7,7 @@ logic programming and for the formalization of programming language theory. </longdescription> + <upstream> + <remote-id type="github">standardml/twelf</remote-id> + </upstream> </pkgmetadata>
