diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-12-04 22:20:33 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-12-04 22:20:33 +0100 |
| commit | a2105c749349bd1a82bfb455bb7ac8b3210157b3 (patch) | |
| tree | 346d75f4bc2cb5098879eac56d3c23877d92efd6 /dev-ml | |
| parent | dev-ml/graphics: add github upstream metadata (diff) | |
| download | gentoo-a2105c749349bd1a82bfb455bb7ac8b3210157b3.tar.gz gentoo-a2105c749349bd1a82bfb455bb7ac8b3210157b3.tar.bz2 gentoo-a2105c749349bd1a82bfb455bb7ac8b3210157b3.zip | |
dev-ml/num: add github upstream metadata
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/num/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-ml/num/metadata.xml b/dev-ml/num/metadata.xml index c765c1971790..dfc7ef5a48f3 100644 --- a/dev-ml/num/metadata.xml +++ b/dev-ml/num/metadata.xml @@ -9,4 +9,7 @@ <email>gienah@gentoo.org</email> <name>Mark Wright</name> </maintainer> + <upstream> + <remote-id type="github">ocaml/num</remote-id> + </upstream> </pkgmetadata> |