diff options
| author |   Eli Schwartz <eschwartz@gentoo.org> | 2024-09-08 23:47:51 -0400 |
|---|---|---|
| committer | Eli Schwartz <eschwartz@gentoo.org> | 2024-09-09 21:04:11 -0400 |
| commit | 8e94639e5ffafde0a8295cc2f067e127cf00382c (patch) | |
| tree | 963d95aee0c97c97f012a69f301b80976bae4437 /sci-mathematics | |
| parent | profiles: mask =sys-libs/timezone-data-2024b (diff) | |
| download | gentoo-8e94639e5ffafde0a8295cc2f067e127cf00382c.tar.gz gentoo-8e94639e5ffafde0a8295cc2f067e127cf00382c.tar.bz2 gentoo-8e94639e5ffafde0a8295cc2f067e127cf00382c.zip | |
sci-mathematics/twelf: add github upstream metadata
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
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> |