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

sci-mathematics/twelf: add github upstream metadata

Browse Source 
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
This commit is contained in:
Eli Schwartz
2024-09-08 23:47:51 -04:00
parent cf35834703
commit 8e94639e5f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
sci-mathematics/twelf/metadata.xml
View File

@@ -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>