From a2105c749349bd1a82bfb455bb7ac8b3210157b3 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Sun, 4 Dec 2022 22:20:33 +0100 Subject: dev-ml/num: add github upstream metadata Signed-off-by: Alfredo Tupone --- dev-ml/num/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'dev-ml') 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 @@ gienah@gentoo.org Mark Wright + + ocaml/num + -- cgit v1.2.3-65-gdbad